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.

State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems with Unobservable Transitions

CABASINO, MARIA PAOLA;SEATZU, CARLA
2015-01-01

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.
2015
Labeling, linear programming, MSCG, Observers, state estimation, modified state class graph, Clocks, timed observation, linear programming problems, fault diagnosis, firing time instants, unobservable transitions, labeled time Petri net systems, Petri nets, VERIFICATION, DIAGNOSABILITY, DISCRETE-EVENT SYSTEMS, Modified state class graph (MSCG), time PNs (TPNs), Petri net (PN), AUTOMATION & CONTROL SYSTEMS, ENGINEERING, ELECTRICAL & ELECTRONIC, DYNAMIC OBSERVERS
File in questo prodotto:
File Dimensione Formato  
TAC15_BCS.pdf

Solo gestori archivio

Tipologia: versione editoriale
Dimensione 632.62 kB
Formato Adobe PDF
632.62 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11584/213934
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 99
  • ???jsp.display-item.citation.isi??? 87
social impact