Title :
On-Line Fault Diagnosis With Partially Observed Petri Nets
Author :
Lefebvre, Dimitri
Author_Institution :
GREAH, Univ. Le Havre, Le Havre, France
Abstract :
This technical note concerns fault detection and diagnosis for discrete event systems modeled with partially observed Petri nets. The proposed method provides diagnosis decisions via the analysis of observation sequences that include some observable events and the partial measurement of the successive states visited by the system. To this end, the observation sequences are decomposed into elementary observation sequences, linear matrix inequalities are used to compute the firing sequences consistent with each elementary observation sequence and an algorithm of linear complexity with respect to the length of the observation sequences is proposed to provide on-line diagnosis decisions.
Keywords :
Petri nets; computational complexity; discrete event systems; fault diagnosis; linear matrix inequalities; diagnosis decisions; discrete event system; elementary observation sequence; fault detection and diagnosis; firing sequence; linear complexity; linear matrix inequality; observation sequences; online diagnosis decision; online fault diagnosis; partial measurement; partially observed Petri nets; Complexity theory; Earth Observing System; Fault detection; Fault diagnosis; Firing; Petri nets; Vectors; Fault detection; Petri nets; fault diagnosis; partially observed Petri nets;
Journal_Title :
Automatic Control, IEEE Transactions on
DOI :
10.1109/TAC.2013.2294617