In this paper, the model repair of timed discrete-event systems where anomalies may occur is considered. The nominal model is assumed to be known, and a set of observed timed sequences is given. The approach works with time Petri net models and is based on the formulation of a mixed-integer linear programming problem. The repaired model is obtained from the nominal one by adding fault transitions as well as by extending the firing interval of transitions. Note to Practitioners - The data collected from the observation of a discrete-event system are usually given in terms of behavioral sequences that may be fixed or may be increased in the course of the system operation (e.g., due to new experiments or simply to the system running). If this occurs, the nominal model of a system may reveal not consistent with these additional observations if they include anomalies. This paper presents an approach to repair the model of the system in order to make it able to also generate the observed timed faulty behavior. The repaired model can be used to perform fault diagnosis.

A Novel Model Repair Approach of Timed Discrete-Event Systems with Anomalies

BASILE, FRANCESCO;CHIACCHIO, Pasquale;COPPOLA, Jolanda
2016-01-01

Abstract

In this paper, the model repair of timed discrete-event systems where anomalies may occur is considered. The nominal model is assumed to be known, and a set of observed timed sequences is given. The approach works with time Petri net models and is based on the formulation of a mixed-integer linear programming problem. The repaired model is obtained from the nominal one by adding fault transitions as well as by extending the firing interval of transitions. Note to Practitioners - The data collected from the observation of a discrete-event system are usually given in terms of behavioral sequences that may be fixed or may be increased in the course of the system operation (e.g., due to new experiments or simply to the system running). If this occurs, the nominal model of a system may reveal not consistent with these additional observations if they include anomalies. This paper presents an approach to repair the model of the system in order to make it able to also generate the observed timed faulty behavior. The repaired model can be used to perform fault diagnosis.
File in questo prodotto:
File Dimensione Formato  
Basile Chiacchio Coppola TASE2016 - final - VQR.pdf

accesso aperto

Tipologia: Documento in Post-print (versione successiva alla peer review e accettata per la pubblicazione)
Licenza: DRM non definito
Dimensione 960.22 kB
Formato Adobe PDF
960.22 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/4674802
 Attenzione

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

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 15
  • ???jsp.display-item.citation.isi??? 14
social impact