Event monitoring of parallel computations
Alexander M. Gruzlikov ; Nikolai V. Kolesov ; Marina V. Tolmacheva
International Journal of Applied Mathematics and Computer Science, Tome 25 (2015), p. 311-321 / Harvested from The Polish Digital Mathematics Library

The paper considers the monitoring of parallel computations for detection of abnormal events. It is assumed that computations are organized according to an event model, and monitoring is based on specific test sequences.

Publié le : 2015-01-01
EUDML-ID : urn:eudml:doc:270436
@article{bwmeta1.element.bwnjournal-article-amcv25i2p311bwm,
     author = {Alexander M. Gruzlikov and Nikolai V. Kolesov and Marina V. Tolmacheva},
     title = {Event monitoring of parallel computations},
     journal = {International Journal of Applied Mathematics and Computer Science},
     volume = {25},
     year = {2015},
     pages = {311-321},
     zbl = {1321.93049},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-amcv25i2p311bwm}
}
Alexander M. Gruzlikov; Nikolai V. Kolesov; Marina V. Tolmacheva. Event monitoring of parallel computations. International Journal of Applied Mathematics and Computer Science, Tome 25 (2015) pp. 311-321. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-amcv25i2p311bwm/

[000] Cabasino, M.P., Giua, A. and Seatzu, C. (2011). Discrete event diagnosis using labeled Petri nets: An application to manufacturing systems, Control Engineering Practice 19(9): 989-1001.

[001] Chanthery, E. and Pencole, Y. (2009). Monitoring and active diagnosis for discrete-event systems, Proceedings of the 7th IFAC Symposium on Fault Detection, Supervision and Safety of Techinal Process, Barcelona, Spain, pp. 1545-1550.

[002] Cheng, A.M.K. (2002). Real-Time Systems: Scheduling, Analysis and Verification, Wiley-Interscience Publication, Inc., Hoboken, NJ.

[003] Kolesov, N.V. (1988). Diagnosis of linear discrete-time nonstationary systems, Automation and Remote Control 49(7): 943-948. | Zbl 0658.93024

[004] Kolesov, N.V. (1990). Nonstationary diagnostic model of communication system in a distributed control complex, Automation and Remote Control 51(4): 540-549. | Zbl 0709.94687

[005] Lefebvre, D. (2012). Diagnosis with Petri nets according to partial events and states observation, Proceedings of the 8th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Mexico City, Mexico, pp. 1244-1249.

[006] Patton, R.J., Frank, P.M. and Clark, R.N. (2000). Issues in Fault Diagnosis for Dynamic Systems, Springer-Verlag, London.

[007] Peterson, J.L. (1981). Petri Net, Prentice-Hall, Englewood Cliffs, NJ. | Zbl 0461.68059

[008] Wu, Y. and Hadrjicostis, C. (2005). Algebraic approaches for fault identification in discrete-event systems, IEEE Robotics and Automation 50(12): 2048-2053.

[009] Zhirabok, A. N. (2009). Robust observer design: Logic-dynamic approach, Proceedings of the 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Process, Barcelona, Spain, pp. 768-791.