Robust Controller Synthesis for Hybrid Systems Using Modal Logic

In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching control mechanism of a hybrid automaton (via guard and mode invariant sets), and the robustness result is with respect to variations in the right hand sides of the differential equations that depend continuously on a parameter. We present a novel methodology for controller design and synthesis which uses modal logic as a formalism for reasoning about sets of plant states, and various operators on sets arising from the differential equations and from metric tolerance relations on the state space.

[1]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[2]  A. Nerode,et al.  Logics for hybrid systems , 2000, Proceedings of the IEEE.

[3]  Pravin Varaiya,et al.  Ellipsoidal Techniques for Reachability Analysis , 2000, HSCC.

[4]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

[5]  George J. Pappas,et al.  Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.

[6]  J. Raisch,et al.  Discrete control of switched linear systems , 1999, 1999 European Control Conference (ECC).

[7]  P.J. Antsaklis,et al.  Supervisory control of hybrid systems , 2000, Proceedings of the IEEE.

[8]  S. Shankar Sastry,et al.  O-Minimal Hybrid Systems , 2000, Math. Control. Signals Syst..

[9]  B. Krogh,et al.  Synthesis of supervisory controllers for hybrid systems based on approximating automata , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[10]  Gerardo Lafferriere,et al.  A New Class of Decidable Hybrid Systems , 1999, HSCC.

[11]  Colin Stirling,et al.  Modal and temporal logics , 1993, LICS 1993.

[12]  E. Feron,et al.  Robust hybrid control for autonomous vehicle motion planning , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[13]  Jörg Raisch,et al.  Supervisory control of hybrid systems within a behavioural framework , 1999 .

[14]  Olivier Bournez,et al.  Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems , 2000, HSCC.

[15]  J. Lygeros,et al.  A game theoretic approach to controller design for hybrid systems , 2000, Proceedings of the IEEE.

[16]  Christos A. Yfoulis,et al.  Stabilization of Orthogonal Piecewise Linear Systems: Robustness Analysis and Design , 1999, HSCC.

[17]  Peter J. Ramadge,et al.  Robustness issues for hybrid systems , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[18]  Rajeev Goré,et al.  Tableau Methods for Modal and Temporal Logics , 1999 .