Dynamic observers for fault diagnosis of timed systems

In this paper we extend the work on dynamic observers for fault diagnosis [1], [2], [3] to timed automata. We study sensor minimization problems with static observers and then address the problem of computing the most permissive dynamic observer for a system given by a timed automaton.

[1]  Kim Guldstrand Larsen,et al.  Almost Optimal Strategies in One Clock Priced Timed Automata , 2007 .

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

[3]  Stavros Tripakis,et al.  Synthesis Of Optimal Dynamic Observers for Fault Diagnosis of Discrete-Event Systems , 2007 .

[4]  George J. Pappas,et al.  Optimal Paths in Weighted Timed Automata , 2001, HSCC.

[5]  Kim G. Larsen,et al.  Minimum-Cost Reachability for Priced Timed Automata , 2001, HSCC.

[6]  Kim G. Larsen,et al.  Infinite Runs in Weighted Timed Automata with Energy Constraints , 2008, FORMATS.

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

[8]  Uri Zwick,et al.  The Complexity of Mean Payoff Games on Graphs , 1996, Theor. Comput. Sci..

[9]  Kim G. Larsen,et al.  Timed automata with observers under energy constraints , 2010, HSCC '10.

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

[11]  Stavros Tripakis,et al.  Folk Theorems on the Determinization and Minimization of Timed Automata , 2003, FORMATS.

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

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

[14]  Patricia Bouyer,et al.  Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets , 2008, FORMATS.

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

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

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

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

[19]  Stavros Tripakis,et al.  Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems , 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).

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

[21]  Stavros Tripakis,et al.  Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis , 2007, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).

[22]  C. Desclaux,et al.  Supervisory control of discrete-event processes with partial observations , 1988 .

[23]  Thomas A. Henzinger,et al.  A Determinizable Class of Timed Automata , 1994, CAV.

[24]  Kim G. Larsen,et al.  Optimal infinite scheduling for multi-priced timed automata , 2008, Formal Methods Syst. Des..

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

[26]  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.