Multi-modal control of systems with constraints
暂无分享,去创建一个
[1] S. Sastry. Nonlinear Systems: Analysis, Stability, and Control , 1999 .
[2] John Lygeros,et al. Controllers for reachability specifications for hybrid systems , 1999, Autom..
[3] Pravin Varaiya,et al. Ellipsoidal Techniques for Reachability Analysis , 2000, HSCC.
[4] A. Sangiovanni-Vincentelli,et al. A formal approach to reactive system design: unmanned aerial vehicle flight management system design example , 1999, Proceedings of the 1999 IEEE International Symposium on Computer Aided Control System Design (Cat. No.99TH8404).
[5] João Pedro Hespanha,et al. Switching between stabilizing controllers , 2002, Autom..
[6] John Lygeros,et al. Hybrid Control Models of Next Generarion AIr Traffic Management , 1996, Hybrid Systems.
[7] S. Shankar Sastry,et al. Mode Switching Synthesis for Reachability Specifications , 2001, HSCC.
[8] R. Kelly,et al. PD control with computed feedforward of robot manipulators: a design procedure , 1994, IEEE Trans. Robotics Autom..
[9] Bruce H. Krogh,et al. Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations , 1999, HSCC.
[10] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[11] A. Pnueli,et al. Effective synthesis of switching controllers for linear systems , 2000, Proceedings of the IEEE.
[12] Gerardo Lafferriere,et al. Symbolic Reachability Computation for Families of Linear Vector Fields , 2001, J. Symb. Comput..
[13] George J. Pappas,et al. Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.
[14] C. A. Desoer,et al. Nonlinear Systems Analysis , 1978 .
[15] Ilya Kolmanovsky,et al. Multimode regulators for systems with state & control constraints and disturbance inputs , 1997 .
[16] A. Isidori,et al. Output regulation of nonlinear systems , 1990 .