Multimodal Control of Constrained Nonlinear Systems

This chapter contains sections titled: Introduction Formulation of Multimodal Control Problem A Mode Switching Condition Mode Sequence Synthesis Multimodal Control of a Helicopter-Based UAV Hybrid and Embedded System Models Conclusion References

[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.