The on-line diagnosis of time Petri nets based on partial orders

G. Jiroveanu, B. De Schutter, and R.K. Boel, "The on-line diagnosis of time Petri nets based on partial orders," Chapter 21 in Taming Heterogeneity and Complexity of Embedded Control (F. Lamnabhi-Lagarrigue, S. Laghrouche, A. Loria, and E. Panteley, eds.), London, UK: ISTE, ISBN 978-1-905209-65-1, pp. 363-392, Jan. 2007.

In this paper we propose an on-line diagnosis algorithm for Time Petri Nets (TPN). The plant observation is given by a subset of transitions and the faults are modeled by a subset of unobservable transitions. The plant behavior is derived on-line and the diagnosis is obtained checking whether or not some or all of the traces in the behavior that obey the plant observation contain fault events. We calculate the legal plant behavior as a set of configurations in the net unfolding. We calculate the set of legal traces in the TPN deriving for each configuration the solution set of a system of (max,+)-linear inequalities called the characteristic system of the configuration. We present two methods to derive the entire set of solutions of a characteristic system: the first method is based on Extended Linear Complementarity Problem while the second method is based on constraint propagation.

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

Bibtex entry:

        author={G. Jiroveanu and B. {De Schutter} and R.K. Boel},
        title={The on-line diagnosis of time {Petri} nets based on partial orders},
        booktitle={Taming Heterogeneity and Complexity of Embedded Control},
        editor={F. Lamnabhi-Lagarrigue and S. Laghrouche and A. Loria and E. Panteley},
        address={London, UK},

Go to the publications overview page.

This page is maintained by Bart De Schutter. Last update: December 15, 2015.