Fault Diagnosis for Time Petri Nets
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.
Downloads
- Corresponding technical report:
pdf
file
(360 KB)
Bibtex entry
@inproceedings{JirBoe:06-017,
author={G. Jiroveanu and R.K. Boel and B. {D}e Schutter},
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}
}
This page is maintained by Bart De Schutter.
Last update: February 21, 2026.