Petri net based fault diagnosis of discrete event systems

This paper deals with model based fault diagnosis of discrete event systems (DES). A methodology for building DES models using interpreted Petri nets (IPN) is presented; then the fault diagnosis problem is stated and the diagnosability property is defined. An algorithm for determining the current k - th post failure state of a partially measurable DES is proposed.

[1]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[2]  O. Begovich,et al.  Observability in interpreted Petri nets using sequence invariants , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[3]  Edwin K. P. Chong,et al.  Automated fault diagnosis using a discrete event systems framework , 1994, Proceedings of 1994 9th IEEE International Symposium on Intelligent Control.

[4]  Rolf Isermann,et al.  Process fault detection based on modeling and estimation methods - A survey , 1984, Autom..

[5]  Rolf Isermann,et al.  Process Fault Detection Based on Modeling and Estimation Methods , 1982 .

[6]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[7]  Alessandro Giua.  Petri net state estimators based on event observation , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[8]  Dominik Füssel,et al.  Supervision, Fault-Detection and Fault-Diagnosis Methods , 1999 .

[9]  Feng Lin,et al.  Design and test of mixed signal circuits: a discrete-event approach , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[10]  Antonio Ramírez-Treviño,et al.  Observer design for discrete event systems modeled by interpreted Petri nets , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[11]  Feng Lin,et al.  Diagnosability of discrete event systems and its applications , 1994, Discret. Event Dyn. Syst..

[12]  Antonio Ramírez-Treviño,et al.  A complete cycle for controller design in discrete event systems , 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).