Towards a Geometric Theory of Hybrid Systems

The main purpose of this paper is to introduce a new framework for a global, geometric study of hybrid systems, and demonstrate its usefulness through its application to the analysis of the Zeno phenomenon and stability of hybrid equilibria.

[1]  James R. Munkres,et al.  Topology; a first course , 1974 .

[2]  J. Palis,et al.  Geometric theory of dynamical systems , 1982 .

[3]  L. Tavernini.  Differential automata and their discrete simulators , 1987 .

[4]  Aleksej F. Filippov,et al.  Differential Equations with Discontinuous Righthand Sides , 1988, Mathematics and Its Applications.

[5]  Roger W. Brockett,et al.  Hybrid Models for Motion Control Systems , 1993 .

[6]  Robert L. Grossman,et al.  Timed Automata , 1999, CAV.

[7]  Pravin Varaiya,et al.  Smart cars on smart roads: problems of control , 1991, IEEE Trans. Autom. Control..

[8]  John Guckenheimer,et al.  Planar Hybrid Systems , 1994, Hybrid Systems.

[9]  K. Larsen,et al.  Model-Checking for Real-Time Systems , 1995, International Symposium on Fundamentals of Computation Theory.

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

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

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

[13]  John Lygeros,et al.  A verified hybrid controller for automated vehicles , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[14]  Thomas A. Henzinger,et al.  Modularity for Timed and Hybrid Systems , 1997, CONCUR.

[15]  A. Bensoussan,et al.  Hybrid control and dynamic programming , 1997 .

[16]  Anders Rantzer,et al.  Computation of piecewise quadratic Lyapunov functions for hybrid systems , 1997, 1997 European Control Conference (ECC).

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

[18]  Feng Lin,et al.  Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems , 1998, Discret. Event Dyn. Syst..

[19]  A. J. van der Schaft,et al.  Complementarity modeling of hybrid systems , 1998, IEEE Trans. Autom. Control..

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

[21]  V. Borkar,et al.  A unified framework for hybrid control: model and optimal control theory , 1998, IEEE Trans. Autom. Control..

[22]  A. Michel,et al.  Stability theory for hybrid dynamical systems , 1998, IEEE Trans. Autom. Control..

[23]  M. Branicky.  Multiple Lyapunov functions and other analysis tools for switched and hybrid systems , 1998, IEEE Trans. Autom. Control..

[24]  Bo Hu,et al.  Towards a stability theory of general hybrid dynamical systems , 1999, Autom..

[25]  W. Heemels,et al.  Well-posedness of linear complementarity systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[26]  Jun-ichi Imura,et al.  Well-Posedness of a Class of Piecewise Linear Systems with No Jumps , 1999, HSCC.

[27]  M. Egerstedt,et al.  On the regularization of Zeno hybrid automata , 1999 .

[28]  S. Sastry,et al.  Simulation of Zeno hybrid automata , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[29]  Alberto Bemporad,et al.  Control of systems integrating logic, dynamics, and constraints , 1999, Autom..

[30]  S. Sastry,et al.  On the existence of executions of hybrid automata , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[31]  W. Heemels.  Linear complementarity systems : a study in hybrid dynamics , 1999 .

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

[33]  C. Tomlin,et al.  Controllers for Reachability Speciications for Hybrid Systems , 1999 .

[34]  O. Stursberg,et al.  Continuous-discrete interactions in chemical processing plants , 2000, Proceedings of the IEEE.

[35]  Michael D. Lemmon.  On the Existence of Solutions to Controlled Hybrid Automata , 2000, HSCC.

[36]  C.G. Cassandras,et al.  Optimal control of hybrid systems in manufacturing , 2000, Proceedings of the IEEE.

[37]  C. Pinello,et al.  Automotive engine control and hybrid systems: challenges and opportunities , 2000, Proceedings of the IEEE.

[38]  Karl Henrik Johansson,et al.  Dynamical Systems Revisited: Hybrid Systems with Zeno Executions , 2000, HSCC.

[39]  S. Sastry,et al.  Zeno hybrid systems , 2001 .

[40]  Antonio Bicchi,et al.  Hybrid Feedback Control for Path Tracking by a Bounded-Curvature Vehicle , 2001, HSCC.

[41]  S. Sastry,et al.  Structural stability of hybrid systems1 , 2001, 2001 European Control Conference (ECC).

[42]  Karl Henrik Johansson,et al.  Structural stability of hybrid systems , 2001 .

[43]  C. Pugh,et al.  STRUCTURAL STABILITY OF PIECEWISE SMOOTH SYSTEMS , 2001 .

[44]  S. Sastry,et al.  HYBRID LIMIT CYCLES AND HYBRID POINCARÉ-BENDIXSON , 2002 .

[45]  Claudio Altafini,et al.  Hybrid Control of a Truck and Trailer Vehicle , 2002, HSCC.