Title :
Diagnosability of discrete event systems: a Petri net based approach
Author :
Ramírez-Treviño, A. ; Ruiz-Beltrán, E. ; Rivera-Rangel, I. ; López-Mellado, E.
Author_Institution :
CINVESTAV-IPN Unidad Guadalajara, Mexico
fDate :
26 April-1 May 2004
Abstract :
This work deals with model based fault diagnosis of discrete event systems. The model of the system, expressed as an interpreted Petri net (IPN) describes partially observed events and states, and includes all possible faulty states. Based on a modular modelling methodology, the input-output diagnosability property is introduced and structurally characterized. Then a diagnoser scheme is proposed allowing fault detection and location in polynomial time.
Keywords :
Petri nets; discrete event systems; fault diagnosis; diagnoser scheme; discrete event systems; input-output diagnosability property; interpreted Petri net; model based fault diagnosis; modular modelling methodology; partially observed events; polynomial time; Discrete event systems; Equations; Fires; Labeling; Petri nets;
Conference_Titel :
Robotics and Automation, 2004. Proceedings. ICRA '04. 2004 IEEE International Conference on
Print_ISBN :
0-7803-8232-3
DOI :
10.1109/ROBOT.2004.1307205
