Compositional and Assume-Guarantee Reasoning for Switching Linear Systems
暂无分享,去创建一个
[1] George J. Pappas,et al. Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.
[2] Thomas A. Henzinger,et al. Assume-Guarantee Reasoning for Hierarchical Hybrid Systems , 2001, HSCC.
[3] John Lygeros,et al. Controllers for reachability specifications for hybrid systems , 1999, Autom..
[4] A. J. van der Schaft,et al. Equivalence of switching linear systems by bisimulation , 2006 .
[5] Arjan van der Schaft,et al. An Introduction to Hybrid Dynamical Systems, Springer Lecture Notes in Control and Information Sciences 251 , 1999 .
[6] A. J. van der Schaft. Equivalence of dynamical systems by bisimulation , 2004, IEEE Transactions on Automatic Control.
[7] George J. Pappas,et al. Hierarchically consistent control systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).
[8] Arjan van der Schaft,et al. Assume-guarantee reasoning for linear dynamical systems , 2009, 2009 European Control Conference (ECC).
[9] Goran Frehse,et al. Compositional verification of hybrid systems using simulation relations , 2005 .
[10] K. Mani Chandy,et al. Proofs of Networks of Processes , 1981, IEEE Transactions on Software Engineering.
[11] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[12] Arjan van der Schaft,et al. Equivalence of hybrid dynamical systems , 2004 .
[13] Stephan Merz,et al. Model Checking , 2000 .