Localization of time shift failures in (max,+)-linear systems - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Localization of time shift failures in (max,+)-linear systems

Résumé

The goal of this paper is to propose a localization method of time shift failures in timed discrete event systems (TDES) called (max, +)-linear systems and graphically represented by Timed Event Graph (TEG). First, a detection process produces indicators that determine whether such failures have happened by the observation of incoming and outcoming timed flows. Then, thanks to the knowledge of the behavior of the system through its corresponding TEG, set of failures that could explain the detected timed shift are obtained. It comes from matrices of signatures for each indicator built on each observable output of the system.
Fichier principal
Vignette du fichier
wodes18_DiagMaxPlus_VF.pdf (299.07 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01954270 , version 1 (13-12-2018)

Identifiants

  • HAL Id : hal-01954270 , version 1

Citer

Euriell Le Corronc, Alexandre Sahuguède, Yannick Pencolé, Claire Paya. Localization of time shift failures in (max,+)-linear systems. 14th Workshop on Discrete Event Systems, WODES'18, May 2018, Sorrento Coast, Italy. pp.186-191. ⟨hal-01954270⟩
111 Consultations
12 Téléchargements

Partager

Gmail Facebook X LinkedIn More