The Complexity of Codiagnosability for Discrete Event and Timed Systems

In this paper, we study the fault codiagnosis problem for discrete event systems given by finite automata (FA) and timed systems given by timed automata (TA). We provide a uniform characterization of codiagnosability for FA and TA which extends the necessary and sufficient condition that characterizes diagnosability. We also settle the complexity of the codiagnosability problems both for FA and TA and show that codiagnosability is PSPACE-complete in both cases. For FA this improves on the previously known bound (EXPTIME) and for TA it is a new result. We then generalize the previous results to the case of dynamic observers. Finally we show that the codiagnosis problem for TA under bounded resources is 2EXPTIME-complete.

[1]  Deepak D'Souza,et al.  Timed Control with Partial Observability , 2003, CAV.

[2]  Karine Altisen,et al.  Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis , 2007 .

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

[4]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[5]  Luca Aceto,et al.  Is your model checker on time? On the complexity of model checking for timed modal logics , 1999, J. Log. Algebraic Methods Program..

[6]  Patricia Bouyer,et al.  Fault Diagnosis Using Timed Automata , 2005, FoSSaCS.

[7]  P. Ramadge,et al.  Modular feedback logic for discrete event systems , 1987 .

[8]  Franck Cassez.  A note on fault diagnosis algorithms , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[9]  Gerard J. Holzmann,et al.  Software model checking with SPIN , 2005, Adv. Comput..

[10]  Olivier Finkel.  On Decision Problems for Timed Automata , 2005, Bull. EATCS.

[11]  Dexter Kozen,et al.  Lower bounds for natural proof systems , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[12]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[13]  Franck Cassez.  The Complexity of Codiagnosability for Discrete Event and Timed Systems , 2012, IEEE Transactions on Automatic Control.

[14]  Shengbing Jiang,et al.  A polynomial algorithm for testing diagnosability of discrete-event systems , 2001, IEEE Trans. Autom. Control..

[15]  Stephane Lafortune,et al.  Robust codiagnosability of discrete event systems , 2009, 2009 American Control Conference.

[16]  Stéphane Lafortune,et al.  Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems , 2000, Discret. Event Dyn. Syst..

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

[18]  Franck Cassez.  Dynamic observers for fault diagnosis of timed systems , 2010, 49th IEEE Conference on Decision and Control (CDC).

[19]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[20]  Kim G. Larsen,et al.  A Tutorial on Uppaal , 2004, SFM.

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

[22]  W. Qiu,et al.  Decentralized failure diagnosis of discrete event systems , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[23]  Stéphane Lafortune,et al.  Diagnosis of Discrete Event Systems Using Decentralized Architectures , 2007, Discret. Event Dyn. Syst..

[24]  Wolfgang Thomas,et al.  Automata on Infinite Objects , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[25]  Stavros Tripakis,et al.  Fault Diagnosis for Timed Automata , 2002, FTRTFT.