AN INTRODUCTION TO HYBRID SYSTEM MODELING ANALYSIS AND CONTROL JOHN LYGEROS GEORGE PAPPAS AND SHANKAR SASTRY

Hybrid systems combine discrete event and continuous time dynamics and can serve as models of large scale systems We provide an overview of modeling analysis and controller synthesis techniques for hybrid systems A modeling language for describing a wide class of hybrid phenomena is rst presented and conditions for existence and uniqueness of executions are provided We then discuss analysis problems and characterize a class of hybrid systems for which reachability questions can be veri ed automatically Finally we review a method for designing controllers for hybrid systems with reachability speci cations

[1]  G. Grammel,et al.  Maximum Principle for a Hybrid System Via Singular Perturbations , 1999 .

[2]  John Lygeros,et al.  Synthesizing Controllers for Nonlinear Hybrid Systems , 1998, HSCC.

[3]  Michael S. Branicky,et al.  Studies in hybrid systems: modeling, analysis, and control , 1996 .

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

[5]  John Lygeros,et al.  Verified hybrid controllers for automated vehicles , 1998, IEEE Trans. Autom. Control..

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

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

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

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

[10]  Pravin Varaiya,et al.  Decidability of Hybrid Systems with Rectangular Differential Inclusion , 1994, CAV.

[11]  Bruno Sinopoli,et al.  Hybrid Control of an Autonomous Helicopter , 1998 .

[12]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[13]  Ieee Transactions On Automatic Control, Vol. Ac-2'7, No. 3, June 1982 , .

[14]  Akash Deshpande,et al.  The SHIFT programming language for dynamic networks of hybrid automata , 1998 .

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

[16]  Zohar Manna,et al.  Temporal Verification of Reactive Systems , 1995, Springer New York.

[17]  George J. Pappas,et al.  Reachability analysis of hybrid systems using bisimulations , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

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

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

[20]  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).

[21]  Anna Philippou,et al.  Tools and Algorithms for the Construction and Analysis of Systems , 2018, Lecture Notes in Computer Science.

[22]  P. Caines,et al.  Hierarchical hybrid control systems: a lattice theoretic formulation , 1998, IEEE Trans. Autom. Control..

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

[24]  J. Sethian.  METHODS FOR PROPAGATING INTERFACES , 1998 .

[25]  Pieter J. Mosterman,et al.  An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages , 1999, HSCC.

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

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

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

[29]  Anil Nerode,et al.  Multiple Agent Autonomous Control A Hybrid Systems Architecture , 1993 .

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

[31]  Mats Andersson,et al.  Object-Oriented Modeling and Simulation of Hybrid Systems , 1994 .

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

[33]  Feng Lin,et al.  Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints , 1997, HART.

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

[35]  A. Tarski.  A Decision Method for Elementary Algebra and Geometry , 2023 .

[36]  John Lygeros,et al.  Computing Controllers for Nonlinear Hybrid Systems , 1999, HSCC.

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

[38]  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).

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

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

[41]  Nancy A. Lynch,et al.  A Toolbox for Proving and MaintainingHybrid Speci cationsMichael , 1997 .

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

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

[44]  L. van den Dries,et al.  Tame Topology and O-minimal Structures , 1998 .

[45]  George J. Pappas,et al.  Reachability computation for linear hybrid systems , 1999 .

[46]  Myla Archer,et al.  Verifying Hybrid Systems Modeled as Timed Automata: A Case Study , 1997, HART.

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