Abstract | ||
---|---|---|
This paper presents an approach to fault diagnosis of discrete events systems modeled by Petri nets. Fault events are associated to a subset of unobservable transitions of the net. The approach is based on an extension of standard net marking, called generalized marking, which allows to efficiently estimate the explanations of the observed transitions. The algorithm proposed in this paper uses the information on the timing structure of the net to accelerate the explanations estimate. In particular, it requires the solution of linear programming problems and the computation of a tree, called timed explanation tree, introduced to compute the firing time of the minimal unobservable explanations that include a given fault transition. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1109/COASE.2007.4341735 | 2007 IEEE International Conference on Automation Science and Engineering |
Keywords | Field | DocType |
Petri nets,Discrete event systems,Fault diagnosis | Set theory,Petri net,Algorithm,Linear programming,Unobservable,Mathematics,Computation | Conference |
ISSN | ISBN | Citations |
2161-8070 | 978-1-4244-1153-5 | 3 |
PageRank | References | Authors |
0.40 | 7 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Francesco Basile | 1 | 15 | 4.42 |
Pasquale Chiacchio | 2 | 421 | 46.31 |
Gianmaria De Tommasi | 3 | 78 | 11.50 |