Title :
Petri net based fault diagnosis of discrete event systems
Author :
Alcaraz-Mejia, M. ; Lopez-Mellado, Ernesto ; Ramirez-Trevino, A. ; Rivera-Rangel, I.
Author_Institution :
CINVESTAV-IPN, Mexico City, Mexico
Abstract :
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.
Keywords :
Petri nets; discrete event systems; fault diagnosis; modelling; Petri nets; current k - th post failure state; diagnosability property; discrete event systems; fault diagnosis; modelling methodology; Automata; Differential equations; Discrete event systems; Event detection; Fault detection; Fault diagnosis; Observability; Petri nets; Testing;
Conference_Titel :
Systems, Man and Cybernetics, 2003. IEEE International Conference on
Print_ISBN :
0-7803-7952-7
DOI :
10.1109/ICSMC.2003.1245731
