DocumentCode
2546555
Title
Diagnosability analysis of partially observable deadlock-free Petri Nets
Author
Hernández-Flores, E. ; López-Mellado, E. ; Ramírez-Treviño, A.
Author_Institution
CINVESTAV Unidad Guadalajara, Zapopan, Mexico
fYear
2011
fDate
15-17 June 2011
Firstpage
174
Lastpage
179
Abstract
This paper addresses the diagnosability property of discrete event models, which is a key feature in model-based failure diagnosis. Necessary and sufficient conditions for diagnosability of deadlock-free Interpreted Petri Nets (IPN) are given, based on the observations of reachable repetitive vectors. Afterwards, an algorithm to verify sufficient conditions for diagnosability of such models is proposed.
Keywords
Petri nets; discrete event systems; failure analysis; fault diagnosis; diagnosability analysis; discrete event model; model-based failure diagnosis; partially observable deadlock-free interpreted Petri net; reachable repetitive vector; Algorithm design and analysis; Analytical models; Automata; Bismuth; Petri nets; Polynomials; System recovery; Deadlock-free Petri Nets; Diagnosability; Discrete Systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Dependable Control of Discrete Systems (DCDS), 2011 3rd International Workshop on
Conference_Location
Saarbrucken
Print_ISBN
978-1-4244-8969-5
Type
conf
DOI
10.1109/DCDS.2011.5970337
Filename
5970337
Link To Document