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
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;
Conference_Titel :
Dependable Control of Discrete Systems (DCDS), 2011 3rd International Workshop on
Conference_Location :
Saarbrucken
Print_ISBN :
978-1-4244-8969-5
DOI :
10.1109/DCDS.2011.5970337
