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

BASILE, FRANCESCO;
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.
File in questo prodotto:
File Dimensione Formato  
IEEE-TAC 14-0129.pdf

accesso aperto

Tipologia: Documento in Post-print (versione successiva alla peer review e accettata per la pubblicazione)
Licenza: DRM non definito
Dimensione 402.83 kB
Formato Adobe PDF
402.83 kB Adobe PDF Visualizza/Apri

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/11386/4643809
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 99
  • ???jsp.display-item.citation.isi??? 87
social impact