In this paper, we consider partially observable timed discrete event systems (DES) endowed with a single clock that is reset at each event occurrence. A time interval with integer bounds is associated with each transition specifying at which clock values it may occur. This work deals with the fault diagnosis problem of such timed DES, assuming that faulty behaviours are described by means of timed transitions. We present a zone automaton that provides a purely discrete event description of the behaviour of the timed DES with faults and construct a fault recognizer as the parallel composition of the zone automaton with a fault monitor that recognizes the occurrence of faults. The diagnosis approach allows one to compute the diagnosis state for each timed observation, which consists in a timed sequence of observed events.

Fault Diagnosis of Timed Discrete Event Systems

Gao, C.
Primo
;
Lefebvre, D.;Seatzu, C.;Li, Z.;Giua, A.
Ultimo
2023-01-01

Abstract

In this paper, we consider partially observable timed discrete event systems (DES) endowed with a single clock that is reset at each event occurrence. A time interval with integer bounds is associated with each transition specifying at which clock values it may occur. This work deals with the fault diagnosis problem of such timed DES, assuming that faulty behaviours are described by means of timed transitions. We present a zone automaton that provides a purely discrete event description of the behaviour of the timed DES with faults and construct a fault recognizer as the parallel composition of the zone automaton with a fault monitor that recognizes the occurrence of faults. The diagnosis approach allows one to compute the diagnosis state for each timed observation, which consists in a timed sequence of observed events.
2023
Discrete event system; timed discrete event system; observation; diagnosis
File in questo prodotto:
File Dimensione Formato  
1-s2.0-S2405896323006171-main.pdf

accesso aperto

Tipologia: versione editoriale
Dimensione 730.33 kB
Formato Adobe PDF
730.33 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/11584/398003
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact