Computation of controllers for nonlinear hybrid systems 1

Abstract A hybrid system is one which involves the interaction of discrete and continuous dynamics; in a nonlinear hybrid system , the continuous dynamics may be nonlinear and therefore may model quite general physical systems. Designing controllers for hybrid systems involves generating both the continuous nonlinear control law as well as the logic for the controllable transitions between discrete states. Tn this paper, we present our technique for synthesizing controllers for nonlinear hybrid systems, a method which is based on solving a system of coupled partial differential equations- Then, we discuss a numerical algorithm based on level set methods for solving this system of equations.

[1]  Akash Deshpande,et al.  Control of hybrid systems , 1994 .

[2]  S. Shankar Sastry,et al.  Aerodynamic envelope protection using hybrid control , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

[3]  Oded Maler,et al.  Reachability Analysis via Face Lifting , 1998, HSCC.

[4]  J. Sethian,et al.  Fronts propagating with curvature-dependent speed: algorithms based on Hamilton-Jacobi formulations , 1988 .

[5]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[6]  Nancy A. Lynch,et al.  Hybrid I/O automata , 1995, Inf. Comput..

[7]  S. Shankar Sastry,et al.  Conflict resolution for air traffic management: a study in multiagent hybrid systems , 1998, IEEE Trans. Autom. Control..

[8]  John Lygeros,et al.  Hierarchical, Hybrid Control of Large Scale Systems , 1996 .

[9]  P. Lions,et al.  Some Properties of Viscosity Solutions of Hamilton-Jacobi Equations. , 1984 .

[10]  Pravin Varaiya,et al.  What's decidable about hybrid automata? , 1995, STOC '95.

[11]  H. Wong-Toi,et al.  The synthesis of controllers for linear hybrid automata , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[12]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[13]  Joseph Sifakis,et al.  On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.

[14]  John Lygeros,et al.  On controller synthesis for nonlinear hybrid systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[15]  Ian M. Mitchell,et al.  Integrating Projections , 1998, HSCC.

[16]  John Lygeros,et al.  Controllers for reachability specifications for hybrid systems , 1999, Autom..