TY - GEN
T1 - Fault detection and identification in Petri net controllers
AU - Li, Lingxi
AU - Hadjicostis, Christoforos N.
AU - Sreenivas, R. S.
PY - 2004
Y1 - 2004
N2 - This paper proposes a methodology for providing fault tolerance to Petri net controllers. In order to provide tolerance against faults that may compromise the functionality of the Petri net controller, we construct a redundant Petri net embedding that allows the detection and identification of place and transition faults. A place fault results in an incorrect token-load of a place, and a transition fault arises when the token-load of either the input or output place-set of a transition is not appropriately updated following the firing of a transition. The resulting Petri net controller implementations use redundant places, connections and tokens to impose invariant conditions that allow the detection and identification of faults via linear parity checks. The proposed methodology is attractive because the redundant Petri net controller makes efficient use of redundancy and allows for the systematic detection and identification of faults. More specifically, the use of d redundant places enables the detection and identification of up to d - 1 transition faults and up to [d/2] place faults.
AB - This paper proposes a methodology for providing fault tolerance to Petri net controllers. In order to provide tolerance against faults that may compromise the functionality of the Petri net controller, we construct a redundant Petri net embedding that allows the detection and identification of place and transition faults. A place fault results in an incorrect token-load of a place, and a transition fault arises when the token-load of either the input or output place-set of a transition is not appropriately updated following the firing of a transition. The resulting Petri net controller implementations use redundant places, connections and tokens to impose invariant conditions that allow the detection and identification of faults via linear parity checks. The proposed methodology is attractive because the redundant Petri net controller makes efficient use of redundancy and allows for the systematic detection and identification of faults. More specifically, the use of d redundant places enables the detection and identification of up to d - 1 transition faults and up to [d/2] place faults.
UR - http://www.scopus.com/inward/record.url?scp=14544307024&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=14544307024&partnerID=8YFLogxK
U2 - 10.1109/CDC.2004.1429641
DO - 10.1109/CDC.2004.1429641
M3 - Conference contribution
AN - SCOPUS:14544307024
SN - 0780386825
T3 - Proceedings of the IEEE Conference on Decision and Control
SP - 5248
EP - 5253
BT - 2004 43rd IEEE Conference on Decision and Control (CDC)
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2004 43rd IEEE Conference on Decision and Control (CDC)
Y2 - 14 December 2004 through 17 December 2004
ER -