Multi-modal control of systems with constraints

In multi-modal control paradigm, a set of controllers of satisfactory performance have already been designed and must be used. Each controller may be designed for a different set of outputs in order to meet the given performance objectives and system constraints. When such a collection of control modes is available, an important problem is to be able to accomplish a variety of high level tasks by appropriately switching between the low-level control modes. In this paper, we propose a framework for determining the sequence of control modes that will satisfy reachability tasks. Our framework exploits the structure of output tracking controllers in order to extract a finite graph where the mode switching problem can be efficiently solved, and then implement it using the continuous controllers. Our approach is illustrated on a robot manipulator example, where we determine the mode switching logic that achieves the given reachability task.

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