DocumentCode
3090070
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
Volume
1
fYear
2004
fDate
26 April-1 May 2004
Firstpage
541
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Robotics and Automation, 2004. Proceedings. ICRA '04. 2004 IEEE International Conference on
ISSN
1050-4729
Print_ISBN
0-7803-8232-3
Type
conf
DOI
10.1109/ROBOT.2004.1307205
Filename
1307205
Link To Document