The Concept of Deadlock and Livelock in Hybrid Control Systems
暂无分享,去创建一个
S. Shankar Sastry | Maria Domenica Di Benedetto | Giordano Pola | Alessandro Abate | Alessandro D'Innocenzo
[1] Martín Abadi,et al. Preserving Liveness: Comments on "Safety and Liveness from a Methodological Point of View" , 1991, Inf. Process. Lett..
[2] M. Branicky. Stability of switched and hybrid systems , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.
[3] Feng Lin,et al. Analysis of Zeno behaviors in hybrid systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..
[4] Joseph Sifakis,et al. On the Composition of Hybrid Systems , 1998, HSCC.
[5] Stefan Nicolaas Strubbe,et al. Compositional modelling of stochastic hybrid systems , 2006 .
[6] Thomas A. Henzinger,et al. Reactive Modules , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[7] Nancy A. Lynch,et al. Hybrid I/O Automata Revisited , 2001, HSCC.
[8] Holger Hermanns,et al. Interactive Markov Chains , 2002, Lecture Notes in Computer Science.
[9] E. Kindler. Safety and Liveness Properties: A Survey , 2007 .
[10] Nancy A. Lynch,et al. Hybrid I/O automata , 2003, Inf. Comput..
[11] Ashish Tiwari,et al. Box invariance of Hybrid and switched Systems , 2006, ADHS.
[12] Martín Abadi,et al. Composing specifications , 1989, TOPL.
[13] Bowen Alpern,et al. Defining Liveness , 1984, Inf. Process. Lett..
[14] Joseph Sifakis. The Compositional Specification of Timed Systems - A Tutorial , 1999, CAV.
[15] Thomas A. Henzinger,et al. Modularity for Timed and Hybrid Systems , 1997, CONCUR.
[16] Murali Rangarajan,et al. Composing specifications in VSPEC , 2000, ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods.
[17] Antoni Mazurkiewicz,et al. CONCUR '97: Concurrency Theory , 1997, Lecture Notes in Computer Science.
[18] Karl Henrik Johansson,et al. Dynamical properties of hybrid automata , 2003, IEEE Trans. Autom. Control..
[19] Paulo Tabuada,et al. Compositional Abstractions of Hybrid Control Systems , 2004, Discret. Event Dyn. Syst..
[20] John Lygeros,et al. Lecture Notes on Hybrid Systems , 2004 .