Event monitoring of parallel computations

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.10.1016/j.conengprac.2010.12.010Search in Google Scholar

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.Search in Google Scholar

Cheng, A.M.K. (2002). Real-Time Systems: Scheduling, Analysis and Verification, Wiley-Interscience Publication, Inc., Hoboken, NJ.Search in Google Scholar

Kolesov, N.V. (1988). Diagnosis of linear discrete-time nonstationary systems, Automation and Remote Control 49(7): 943-948.Search in Google Scholar

Kolesov, N.V. (1990). Nonstationary diagnostic model of communication system in a distributed control complex, Automation and Remote Control 51(4): 540-549.Search in Google Scholar

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.Search in Google Scholar

Patton, R.J., Frank, P.M. and Clark, R.N. (2000). Issues in Fault Diagnosis for Dynamic Systems, Springer-Verlag, London.10.1007/978-1-4471-3644-6Search in Google Scholar

Peterson, J.L. (1981). Petri Net, Prentice-Hall, Englewood Cliffs, NJ.Search in Google Scholar

Wu, Y. and Hadrjicostis, C. (2005). Algebraic approaches for fault identification in discrete-event systems, IEEE Robotics and Automation 50(12): 2048-2053.10.1109/TAC.2005.860249Search in Google Scholar

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. Search in Google Scholar