暂无分享,去创建一个
[1] Joseph Sifakis,et al. Controller Synthesis for Timed Automata 1 , 1998 .
[2] Paulo Tabuada,et al. Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems , 2008, HSCC.
[3] Moshe Y. Vardi,et al. Verification , 1917, Handbook of Automata Theory.
[4] Kim G. Larsen,et al. Efficient On-the-Fly Algorithms for the Analysis of Timed Games , 2005, CONCUR.
[5] Yu. S. Ledyaev,et al. Nonsmooth analysis and control theory , 1998 .
[6] Paulo Tabuada,et al. Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems , 2008, IEEE Transactions on Automatic Control.
[7] Kim G. Larsen,et al. A Game-Theoretic Approach to Real-Time System Testing , 2008, 2008 Design, Automation and Test in Europe.
[8] J. Leth,et al. On formalism and stability of switched systems , 2012, Journal of Control Theory and Applications.
[9] K. Meyer. ENERGY FUNCTIONS FOR MORSE SMALE SYSTEMS. , 1968 .
[10] J.H. van Schuppen,et al. Control to facet problems for affine systems on simplices and polytopes – With applications to control of hybrid systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.
[11] Antoine Girard,et al. Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications , 2007, HSCC.
[12] Kim G. Larsen,et al. Verification, Performance Analysis and Controller Synthesis for Real-Time Systems , 2009, FSEN.
[13] Rajeev Alur,et al. Model-checking for real-time systems , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
[14] Rafael Wisniewski,et al. Abstraction of continuous dynamical systems utilizing Lyapunov functions , 2010, 49th IEEE Conference on Decision and Control (CDC).
[15] Loring W. Tu,et al. An introduction to manifolds , 2007 .
[16] Rajeev Alur,et al. Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction , 2003, HSCC.
[17] A. Pnueli,et al. CONTROLLER SYNTHESIS FOR TIMED AUTOMATA , 2006 .