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

fYear

2013

fDate

10-13 Dec. 2013

Firstpage

6329

Lastpage

6334

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control (CDC), 2013 IEEE 52nd Annual Conference on

Conference_Location

Firenze

ISSN

0743-1546

Print_ISBN

978-1-4673-5714-2

Type

conf

DOI

10.1109/CDC.2013.6760890

Filename

6760890