Resilience in Discrete Event Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

Resilience in Discrete Event Systems


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
Origin : Files produced by the author(s)

Dates and versions

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


  • HAL Id : hal-03777858 , version 1


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⟩
37 View
43 Download


Gmail Facebook Twitter LinkedIn More