Resilience in Discrete Event Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Resilience in Discrete Event Systems

Résumé

This paper explores the notion of resilience of a fault in a DES, as the ability to spontaneously return to a normal behavior, without leaking information about this fault occurrence to an external observer. Resilience expresses some form of insensitivity or robustness, related but different from classical notions like diagnosability or opacity. Different definitions of resilience are examined, expressed in terms of recovery points or of language relations. It is shown that verifying resilience is PSPACE-complete. However, the complexity reduces to PTIME for the recently introduced history deterministic automata, a sub-class of NFA. We examine in detail the instructive pathway to this complexity reduction, which could be instrumental for the complexity reduction of other DES problems.
Fichier principal
Vignette du fichier
resilience.pdf (160.1 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03777858 , version 1 (15-09-2022)

Identifiants

  • HAL Id : hal-03777858 , version 1

Citer

Eric Fabre. Resilience in Discrete Event Systems. WODES 2022 - 16th IFAC Workshop on Discrete Event Systems, Sep 2022, Prague, Czech Republic. pp.1-6. ⟨hal-03777858⟩
47 Consultations
62 Téléchargements

Partager

Gmail Facebook X LinkedIn More