Optimal constructions for active diagnosis

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.

[1]  Stéphane Lafortune,et al.  Failure diagnosis using discrete-event models , 1996, IEEE Trans. Control. Syst. Technol..

[2]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems, Second Edition , 2008 .

[3]  Satoru Miyano,et al.  Alternating Finite Automata on omega-Words , 1984, CAAP.

[4]  Dietmar Berwanger,et al.  On the Power of Imperfect Information , 2008, FSTTCS.

[5]  Stéphane Lafortune,et al.  Polynomial-time verification of diagnosability of partially observed discrete-event systems , 2002, IEEE Trans. Autom. Control..

[6]  Shengbing Jiang,et al.  Diagnosis of dense-time systems using digital-clocks , 2006, 2006 American Control Conference.

[7]  Stéphane Lafortune,et al.  Failure diagnosis using discrete event models , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[8]  Serge Haddad,et al.  Optimal Constructions for Active Diagnosis , 2013, FSTTCS.

[9]  Ralf Küsters,et al.  Memoryless Determinacy of Parity Games , 2001, Automata, Logics, and Infinite Games.

[10]  Thomas Wilke,et al.  Automata logics, and infinite games: a guide to current research , 2002 .

[11]  S. Safra,et al.  On the complexity of omega -automata , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.

[12]  Demosthenis Teneketzis,et al.  Diagnosability of stochastic discrete-event systems , 2005, IEEE Transactions on Automatic Control.

[13]  Yannick Pencolé,et al.  Monitoring and Active Diagnosis for Discrete-Event Systems , 2009 .

[14]  Serge Haddad,et al.  Active diagnosis with observable quiescence , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[15]  H. Marchand,et al.  Supervision patterns in discrete event systems diagnosis , 2006, 2006 8th International Workshop on Discrete Event Systems.

[16]  Shahin Hashtrudi-Zad,et al.  Fault diagnosis in discrete-event systems: incorporating timing information , 2005, IEEE Transactions on Automatic Control.

[17]  Stavros Tripakis,et al.  Fault Diagnosis with Static and Dynamic Observers , 2008, Fundam. Informaticae.

[18]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[19]  Stéphane Lafortune,et al.  Active diagnosis of discrete event systems , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[20]  Shengbing Jiang,et al.  Diagnosis of Dense-Time Systems Under Event and Timing Masks , 2010, IEEE Transactions on Automation Science and Engineering.

[21]  Alessandro Cimatti,et al.  Formal verification of diagnosability via symbolic model checking , 2003, IJCAI 2003.

[22]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[23]  Nathalie Bertrand,et al.  Active Diagnosis for Probabilistic Systems , 2014, FoSSaCS.

[24]  Sophie Pinchinat,et al.  Diagnosability of Pushdown Systems , 2009, Haifa Verification Conference.

[25]  Alessandro Giua,et al.  Diagnosability analysis of unbounded Petri nets , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.