On Hybrid Control of Under-Actuated Mechanical Systems
暂无分享,去创建一个
[1] Thomas A. Henzinger,et al. HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.
[2] Amir Pnueli,et al. Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives , 1995, Theor. Comput. Sci..
[3] Thi Xuan Thao Dang. Verification and Synthesis of Hybrid Systems , 2000 .
[4] Thomas A. Henzinger,et al. HYTECH: A Model Checker for Hybrid Systems , 1997, CAV.
[5] Olivier Bournez,et al. Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems , 2000, HSCC.
[6] A. Pnueli,et al. Effective synthesis of switching controllers for linear systems , 2000, Proceedings of the IEEE.
[7] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[8] J. Lygeros,et al. A game theoretic approach to controller design for hybrid systems , 2000, Proceedings of the IEEE.
[9] Bernard Espiau,et al. Can an Underactuated Leg with a Passive Spring at the Knee Achieve a Ballistic Step ? , 1999, ISER.
[10] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[11] Thomas A. Henzinger,et al. Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.