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
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.
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.
Kolesov, N.V. (1988). Diagnosis of linear discrete-time nonstationary systems, Automation and Remote Control 49(7): 943-948.
Kolesov, N.V. (1990). Nonstationary diagnostic model of communication system in a distributed control complex, Automation and Remote Control 51(4): 540-549.
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.
Patton, R.J., Frank, P.M. and Clark, R.N. (2000). Issues in Fault Diagnosis for Dynamic Systems, Springer-Verlag, London.
Peterson, J.L. (1981). Petri Net, Prentice-Hall, Englewood Cliffs, NJ.
Wu, Y. and Hadrjicostis, C. (2005). Algebraic approaches for fault identification in discrete-event systems, IEEE Robotics and Automation 50(12): 2048-2053.
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.