References
- 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.
- Cheng, A.M.K. (2002). Real-Time Systems: Scheduling, Analysis and Verification, Wiley-Interscience Publication, Inc., Hoboken, NJ.
- 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.