DocumentCode
2296095
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
Volume
5
fYear
2003
fDate
5-8 Oct. 2003
Firstpage
4730
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man and Cybernetics, 2003. IEEE International Conference on
ISSN
1062-922X
Print_ISBN
0-7803-7952-7
Type
conf
DOI
10.1109/ICSMC.2003.1245731
Filename
1245731
Link To Document