Fault diagnosis of timed discrete event systems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue IFAC-PapersOnLine Année : 2023

Fault diagnosis of timed discrete event systems

Résumé

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.
Fichier principal
Vignette du fichier
1-s2.0-S2405896323006171-main.pdf (730.33 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Licence : CC BY NC ND - Paternité - Pas d'utilisation commerciale - Pas de modification

Dates et versions

hal-04469166 , version 1 (05-03-2024)

Licence

Paternité - Pas d'utilisation commerciale - Pas de modification

Identifiants

Citer

C. Gao, Dimitri Lefebvre, Carla Seatzu, Zhiwu Li, Alessandro Giua. Fault diagnosis of timed discrete event systems. IFAC-PapersOnLine, 2023, 56 (2), pp.9612-9617. ⟨10.1016/j.ifacol.2023.10.266⟩. ⟨hal-04469166⟩
22 Consultations
3 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More