Multimodal Control of Constrained Nonlinear Systems
暂无分享,去创建一个
[1] S. Shankar Sastry,et al. Differential flatness based full authority helicopter control design , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).
[2] Thomas A. Henzinger,et al. Modularity for Timed and Hybrid Systems , 1997, CONCUR.
[3] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[4] João Pedro Hespanha,et al. Switching between stabilizing controllers , 2002, Autom..
[5] Pravin Varaiya,et al. Smart cars on smart roads: problems of control , 1991, IEEE Trans. Autom. Control..
[6] Bruce H. Krogh,et al. Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations , 1999, HSCC.
[7] John Lygeros,et al. Hybrid Control Models of Next Generarion AIr Traffic Management , 1996, Hybrid Systems.
[8] Roger W. Brockett,et al. Hybrid Models for Motion Control Systems , 1993 .
[9] Pravin Varaiya,et al. Ellipsoidal Techniques for Reachability Analysis , 2000, HSCC.
[10] S. Shankar Sastry,et al. Mode Switching Synthesis for Reachability Specifications , 2001, HSCC.
[11] Gerardo Lafferriere,et al. Symbolic Reachability Computation for Families of Linear Vector Fields , 2001, J. Symb. Comput..
[12] George J. Pappas,et al. Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.
[13] Ilya Kolmanovsky,et al. Multimode regulators for systems with state & control constraints and disturbance inputs , 1997 .
[14] John Lygeros,et al. Controllers for reachability specifications for hybrid systems , 1999, Autom..
[15] S. Shankar Sastry,et al. Hierarchically consistent control systems , 2000, IEEE Trans. Autom. Control..
[16] Edward A. Lee,et al. A hierarchical hybrid system model and its simulation , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).
[17] Edward A. Lee,et al. A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[18] S. Shankar Sastry,et al. Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software , 2001, EMSOFT.
[19] Robert L. Grossman,et al. Timed Automata , 1999, CAV.
[20] A. Isidori,et al. Output regulation of nonlinear systems , 1990 .
[21] A. Pnueli,et al. Effective synthesis of switching controllers for linear systems , 2000, Proceedings of the IEEE.