Design of decentralized critical observers for networks of finite state machines: A formal method approach
暂无分享,去创建一个
Maria Domenica Di Benedetto | Giordano Pola | Elena De Santis | Davide Pezzuti | M. D. Benedetto | E. D. Santis | G. Pola | Davide Pezzuti
[1] Stavros Tripakis,et al. On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems , 1999, World Congress on Formal Methods.
[2] Stéphane Lafortune,et al. An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions , 2007, Syst. Control. Lett..
[3] Rong Su,et al. Global and local consistencies in distributed fault diagnosis for discrete-event systems , 2005, IEEE Transactions on Automatic Control.
[4] Stéphane Lafortune,et al. Diagnosability of Discrete Event Systems with Modular Structure , 2006, Discret. Event Dyn. Syst..
[5] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[6] Stéphane Lafortune,et al. Minimization of Dynamic Sensor Activation in Discrete Event Systems for the Purpose of Control , 2010, IEEE Transactions on Automatic Control.
[7] Stéphane Lafortune,et al. Minimal communication in a distributed discrete-event system , 2003, IEEE Trans. Autom. Control..
[8] R. Malik,et al. A modular architecture for diagnosis of discrete event systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..
[9] Giordano Pola,et al. Decentralized Critical Observers of Networks of Finite State Machines and Model Reduction , 2014 .
[10] Klaus Werner Schmidt. Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[11] Stéphane Lafortune,et al. On Codiagnosability and Coobservability With Dynamic Observations , 2011, IEEE Transactions on Automatic Control.
[12] Shahin Hashtrudi-Zad,et al. Fault diagnosis in discrete-event systems: framework and model reduction , 2003, IEEE Trans. Autom. Control..
[13] W. M. Wonham,et al. Think globally, act locally: decentralized supervisory control , 1992 .
[14] Walter Murray Wonham,et al. On observability of discrete-event systems , 1988, Inf. Sci..
[15] Maria Domenica Di Benedetto,et al. Discrete state observability of hybrid systems , 2009 .
[16] Robert E. Tarjan,et al. Three Partition Refinement Algorithms , 1987, SIAM J. Comput..
[17] Pierre Wolper,et al. Memory-efficient algorithms for the verification of temporal properties , 1990, Formal Methods Syst. Des..
[18] Christos G. Cassandras,et al. Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.
[19] W. Murray Wonham,et al. Think Globally, Act Locally: Decentralized Supervisory Control , 1991, 1991 American Control Conference.
[20] Maria Domenica Di Benedetto,et al. Critical Observability of a Class of Hybrid Systems and Application to Air Traffic Management , 2006 .
[21] R. Kumar,et al. Decentralized modular diagnosis of concurrent discrete event systems , 2008, 2008 9th International Workshop on Discrete Event Systems.
[22] Stéphane Lafortune,et al. Optimal sensor activation for diagnosing discrete event systems , 2010, Autom..
[23] Raja Sengupta,et al. Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..