Fault detection of discrete event systems using Petri nets and integer linear programming

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 17, Issue 1 PART 1, 2008, Pages

  Fanti, Maria Pia ^a   Dotoli, Mariagrazia ^a   Mangini, Agostino Marcello ^a  

^a NONE

Author keywords

Automata, Petri nets and other tools; Discrete event systems modeling and control; Fault detection and diagnosis

Indexed keywords

AUTOMATA, PETRI NETS AND OTHER TOOLS; DISCRETE EVENT SYSTEMS; DISCRETE EVENT SYSTEMS MODELING AND CONTROL; FAULT DETECTION AND DIAGNOSIS; FAULT DETECTION PROBLEM; INITIAL MARKING; INTEGER LINEAR PROGRAMMING; PETRI NET MODELS; UNOBSERVABLE;

AUTOMATA THEORY; DYNAMIC PROGRAMMING; GRAPH THEORY; INTEGER PROGRAMMING; LINEARIZATION; PETRI NETS; TRANSLATION (LANGUAGES);

FAULT DETECTION;

EID: 79961020315     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20080706-5-KR-1001.1414     Document Type: Conference Paper

References (13)

1. Benveniste, A., E. Fabre, S. Haar and C. Jard (2003). Diagnosis of asynchronous discrete event systems: a net unfolding approach. IEEE Trans. Automatic Control, vol.48, pp.714-727.
2. Cassandras, C. G. and S. Lafortune (1999). An Introduction to Discrete Event Systems, Kluwer, Boston, MA.
3. Corona D., A. Giua and C. Seatzu (2004). Marking estimation of Petri nets with silent transitions. Proc. 43th IEEE. Conf. on Decision and Control and 2004 European Control Conf., Atlantis, The Bahamas.
4. Giua A. and C. Seatzu (2005). Fault detection for discrete event systems using Petri nets with unobservable transitions. Proc. 44th IEEE. Conf. on Decision and Control and 2005 European Control Conf., Seville, Spain, pp. 6326-6328.
5. Hadjicostis, C. N. and G. C. Verghese (1999). Monitoring discrete event systems using Petri nets embeddings. Proc. Application Theory Petri Nets, pp.188-208.
6. Lunze, J. and J. Schroder (2004). Sensor and actuator fault diagnosis of systems with discrete inputs and outputs. IEEE Trans. Systems, Man and Cybernetics, Part B, vol.34, pp. 1096-1107.
7. Peterson, J.L. (1981). Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs, NJ, USA.
8. Prock, J. (1991). A new technique for fault detection using Petri nets. Automatica, vol.27, pp. 239-245, 1991.
9. Ramirez-Trevino, A. E. Ruiz-Beltrn, I.Rivera-Rangel and E. Lopez-Mellado (2007). Online fault diagnosis of Discrete Event Systems. A Petri Net-Based Approach. IEEE Trans. on Automation Science and Engineering, vol.4, no.1, pp. 31-39.
10. Sahraoui, A., H. Atabakhche, M. Courvoisier and R. Valette (1987). Joining Petri nets and knowledge-based systems for monitoring purposes. in Proc. IEEE Int. Conf. Robotics Automation, pp. 1160-1165.
11. Sampath, M., R. Sengupta, S. Lafortune, K. Sinnamohideen and D. Teneketzis (1995). Diagnosability of discreteevent systems. IEEE Trans. Automatic Control, vol.40, pp. 1555-1575.
12. Sampath, M., S. Lafortune and D. Teneketzis (1998). Active diagnosis of discrete-event systems. IEEE Trans. Automatic Control, vol.43, pp. 908-929.
13. Ushio, U., L. Onishi and K. Okuda (1998). Fault detection based on Petri net models with faulty behaviours. Proc. SMC98, IEEE Int. Conf. on Systems, Man, and Cybernetics, San Diego, CA, USA, pp. 113-118.