Mode Switching Synthesis for Reachability Specifications
In many control applications, a specific set of output tracking controllers of satisfactory performance have already been designed and must be used. 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 define a concept of control modes, and 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 helicopter example, where we determine the mode switching logic that achieves the high-altitude takeoff task from a hover mode.
Unable to display preview. Download preview PDF.
- 2.T. J. Koo, S. Sastry. Output Tracking Control Design of a Helicopter Model Based on Approximate Linearization. In Proceedings of the 37th Conference on Decision and Control, pp.3635–40, Tampa, Florida, December 1998.Google Scholar
- 3.T. J. Koo, B. Sinopoli, A. Sangiovanni-Vincentelli, and S. Sastry. A Formal Approach to Reactive System Design: A UAV Flight Management System Design Example. In Proceedings of IEEE International symposium on Computer-Aided Control System Design Kohala Coast, Hawaii. September 1999.Google Scholar
- 4.J. Liu, X. Liu, T. J. Koo, B. Sinopoli, S. S. Sastry, and E. A. Lee. Hierarchical Hybrid System Simulation. In Proceedings of the 38th Conference on Decision and Control, Phoenix, Arizona. December 1999.Google Scholar
- 7.J. Lygeros, C. Tomlin, S. Sastry. Controllers for Reachability Specifications for Hybrid Systems, Automatica, Volume 35, Number 3, March 1999.Google Scholar
- 8.R. Milner. Communication and Concurrency, Prentice Hall, 1989.Google Scholar
- 9.G. Lafferriere, G.J. Pappas, S. Yovine. Reachability Computation for Linear Hybrid Systems, In Proceedings of the 14th IFAC World Congress, volume E, pages 7–12, Beijing, 1999.Google Scholar
- 10.G. Lafferriere, G.J. Pappas, and S. Yovine. Symbolic Reachability Computations for Families of Linear Vector Fields, Journal of Symbolic Computation, To appear.Google Scholar
- 11.A.B. Kurzhanski, P. Varaiya, Ellipsoidal Techniques for Reachability Analysis, Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, 2000.Google Scholar
- 12.E. Asarin, O. Bournez, T. Dang, O. Maler, and A. Pnueli, Effective Synthesis of Switching Controllers for Linear Systems, Proceedings of the IEEE, 88(2):1011–1025.Google Scholar
- 13.A. Chutinan, B.H. Krogh, Verification of polyhedral-invariant hybrid systems using polygonal flow pipe approximations, Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, 1999.Google Scholar
- 14.I. Kolmanovsky, E. G. Gilbert. Multimode Regulators for Systems with State & Control Constraints and Disturbance Inputs. In Lecture Notes in Control and Information Sciences 222, Control Using Logic-Based Switching, A. Stephen Morse(Ed.),pp. 104–117, Springer-Verlag, London, 1997.Google Scholar