Diagnosability of Repairable Faults - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

Diagnosability of Repairable Faults


The diagnosis problem for discrete event systems consists in deciding whether some fault event occurred or not in the system, given partial observations on the run of that system. Diagnosability checks whether a correct diagnosis can be issued in bounded time after a fault, for all faulty runs of that system. This problem appeared two decades ago and numerous facets of it have been explored, mostly for permanent faults. It is known for example that diagnosability of a system can be checked in polynomial time, while the construction of a diagnoser is exponential. The present paper examines the case of transient faults, that can appear and be repaired. Diagnosability in this setting means that the occurrence of a fault should always be detected in bounded time, but also before the fault is repaired. Checking this notion of diagnosability is proved to be PSPACE-complete. It is also shown that faults can be reliably counted provided the system is diagnosable for faults and for repairs.
Fichier principal
Vignette du fichier
repairdiag.pdf (190.96 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01302562 , version 1 (14-04-2016)


  • HAL Id : hal-01302562 , version 1


Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand. Diagnosability of Repairable Faults. 13th International Workshop on Discrete Event Systems, 2016, Xi'an, China. pp.256-262. ⟨hal-01302562⟩
521 View
217 Download


Gmail Mastodon Facebook X LinkedIn More