On-line diagnosis for time Petri nets

G. Jiroveanu, B. De Schutter, and R.K. Boel, "On-line diagnosis for time Petri nets," Proceedings of the 17th International Workshop on Principles of Diagnosis (DX-06), Burgos, Spain, 8 pp., June 2006.

We derive in this paper on-line algorithms for fault diagnosis of Time Petri Net (TPN) models. The plant observation is given by a subset of transitions 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 or not fault events occurred. To avoid the consideration of all the interleavings of the 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.

 * Corresponding technical report: pdf file (256 KB)
      Note: More information on the pdf file format mentioned above can be found here.

Bibtex entry:

        author={G. Jiroveanu and B. {D}e Schutter and R.K. Boel},
        title={On-line diagnosis for time {Petri} nets},
        booktitle={Proceedings of the 17th International Workshop on Principles of Diagnosis (DX-06)},
        address={Burgos, Spain},

Go to the publications overview page.

This page is maintained by Bart De Schutter. Last update: March 20, 2022.