Failure Detection and Localization for Timed Event Graphs in (max, +)-Algebra - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Discrete Event Dynamic Systems Année : 2021

Failure Detection and Localization for Timed Event Graphs in (max, +)-Algebra

Résumé

In this paper, we address the problem of failure detection and localization in a Timed Discrete Event System (TDES) such (max, +)-linear system graphically modeled by a Timed Event Graph (TEG). The considered failures are changes on holding times or tokens of the TEG places that can provoke shifts between an observed outcoming timed flow and an expected outcoming timed flow (for a given incoming timed flow). Indicators are built to first detect such shifts relying on the (max, +) algebraic framework and the residuation theory. An analysis of the indicators' values provides information about time or event failure that could have happen. Then, thanks to the knowledge of the behavior of the system through its corresponding TEG, sets of failures that could explain the detected shifts are obtained. It comes from matrices of signatures for each indicator built on each observable output of the system. An example of application is proposed to experiment exhaustively failures of type time and event on each place of the TEG.
Fichier principal
Vignette du fichier
jdeds18.pdf (522.33 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03122966 , version 1 (27-01-2021)

Identifiants

Citer

Euriell Le Corronc, Yannick Pencolé, Alexandre Sahuguède, Claire Paya. Failure Detection and Localization for Timed Event Graphs in (max, +)-Algebra. Discrete Event Dynamic Systems, 2021, 31 (4), pp.513-552. ⟨10.1007/s10626-020-00329-7⟩. ⟨hal-03122966⟩
117 Consultations
136 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More