Title | ||
---|---|---|
State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions |
Abstract | ||
---|---|---|
In this paper, we present a procedure for the state estimation and fault diagnosis of a labeled Time Petri net system. Starting from the State Class Graph defined by Berthomieu and Diaz, we introduce a new graph called Modified State Class Graph (MSCG) that allows an exhaustive representation of the evolution of the timed system. Then, we present a procedure that, given a timed observation, i.e., a sequence of labels with their firing time instants, and a time instant τ, allows one to determine in which states the system can be at time τ by using the MSCG and solving a certain number of linear programming problems. Finally, we present a procedure to perform fault diagnosis using the MSCG. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1109/TAC.2014.2363916 | Automatic Control, IEEE Transactions |
Keywords | Field | DocType |
Fault diagnosis,Petri nets,Labeling,Observers,Clocks | Graph,Petri net,Control theory,Computer science,Linear programming,Unobservable | Journal |
Volume | Issue | ISSN |
60 | 4 | 0018-9286 |
Citations | PageRank | References |
26 | 1.00 | 32 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Francesco Basile | 1 | 161 | 11.25 |
Maria Paola Cabasino | 2 | 318 | 23.10 |
Carla Seatzu | 3 | 700 | 67.51 |