Optimal constructions for active diagnosis

Abstract : Diagnosis is the task of detecting fault occurrences in a partially observed system. Depending on the possible observations, a discrete-event system may be diagnosable or not. Active diagnosis aims at controlling the system to render it diagnosable. Past research has proposed solutions for this problem, but their complexity remains to be improved. Here, we solve the decision and synthesis problems for active diagnosability, proving that (1) our procedures are optimal with respect to computational complexity, and (2) the memory required for our diagnoser is minimal. We then study the delay between a fault occurrence and its detection by the diagnoser. We construct a memory-optimal diagnoser whose delay is at most twice the minimal delay, whereas the memory required to achieve optimal delay may be highly greater. We also provide a solution for parametrized active diagnosis, where we automatically construct the most permissive controller respecting a given delay.
Document type :
Journal articles
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01408047
Contributor : Benedikt Bollig <>
Submitted on : Friday, February 3, 2017 - 11:20:21 AM
Last modification on : Wednesday, December 4, 2019 - 1:26:02 PM
Long-term archiving on: Friday, May 5, 2017 - 1:09:29 PM

File

HHMS-jcss16.pdf
Files produced by the author(s)

Identifiers

Citation

Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon. Optimal constructions for active diagnosis. Journal of Computer and System Sciences, Elsevier, 2017, 83 (1), pp.101-120. ⟨10.1016/j.jcss.2016.04.007⟩. ⟨hal-01408047⟩

Share

Metrics

Record views

570

Files downloads

205