Dynamic observers for fault diagnosis of timed systems
暂无分享,去创建一个
[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.