Reference
G. Jiroveanu,
R. K. Boel, and B. De
Schutter, "Fault diagnosis for time Petri nets,"
Proceedings
of the 8th International Workshop on Discrete Event Systems (WODES'06),
Ann Arbor, Michigan, pp. 313-318, July 2006.
Abstract
This paper presents an on-line algorithm for fault diagnosis of Time Petri Net
(TPN) models. The plant observation is given by a subset of transitions whose
occurrence is always reported while the faults are represented by unobservable
transitions. The model-based diagnosis uses the TPN model to derive the legal
traces that obey the received observation and then checks whether fault events
occurred or not. To avoid the consideration of all the interleavings of the
unobservable concurrent transitions, the plant analysis is based on partial
orders (unfoldings). The legal plant behavior is obtained as a set of
configurations. The set of legal traces in the TPN is obtained solving a system
of (max,+)-linear inequalities called the characteristic system of a
configuration. We present two methods to derive the entire set of solutions of
a characteristic system, one based on Extended Linear Complementarity Problem
and the second one based on constraint propagation that exploits the partial
order relation between the events in the configuration.
Publisher page
Downloads
BibTeX
@inproceedings{JirBoe:06-017,
author = {Jiroveanu, George and Boel, Ren{\'{e}} K. and De Schutter,
Bart},
title = {Fault Diagnosis for Time {Petri} Nets},
booktitle = {Proceedings of the 8th International Workshop on Discrete Event
Systems (WODES'06)},
address = {Ann Arbor, Michigan},
pages = {313--318},
month = jul,
year = {2006}
}