Title :
Design of observations graphs for partially observed Petri nets: Application to the diagnosability analysis of DES1
Author :
Lefebvre, Dimitri ; Leclercq, E. ; Guerin, Francois
Author_Institution :
GREAH, Univ. Le Havre, Le Havre, France
Abstract :
This paper addresses the problem of diagnosability for bounded or unbounded Petri nets and monitored with sensor configurations that are specified with partially observed Petri nets. The proposed method gives a necessary and sufficient condition for diagnosability. It is based on the computation of the finite coverability graph and its transformation into the graph of observation sequences that includes all sequences of measured markings and events with respect to the sensor configuration. Diagnosability is obtained from the analysis of the observation graph.
Keywords :
Petri nets; discrete event systems; fault diagnosis; DES1 diagnosability analysis; discrete event systems; finite coverability graph; necessary condition; observation sequences; observations graph design; partially observed Petri nets; sufficient condition; Algorithm design and analysis; Earth Observing System; Fires; Firing; Petri nets; Silicon; Sufficient conditions; Diagnosability; Discrete event systems; Observation graph; Partially observed Petri nets; Petri nets;
Conference_Titel :
Decision and Control (CDC), 2013 IEEE 52nd Annual Conference on
Conference_Location :
Firenze
Print_ISBN :
978-1-4673-5714-2
DOI :
10.1109/CDC.2013.6760890
