Modelling and analysis of hybrid dynamical systems

In this paper we discuss features of hybrid dynamical systems based on the hybrid automaton model. Next we describe an alternative way of representing hybrid systems by event-flow formulas. Finally, a special class of hybrid dynamical systems, called complementarity systems, is discussed, and conditions for existence and uniqueness of solutions are reviewed.

[1]  Arjan van der Schaft,et al.  The complementary-slackness class of hybrid systems , 1996, Math. Control. Signals Syst..

[2]  Panos J. Antsaklis,et al.  Hybrid System Modeling and Autonomous Control Systems , 1992, Hybrid Systems.

[3]  V. Borkar,et al.  A unified framework for hybrid control , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[4]  Johannes Schumacher,et al.  Rational complementarity problem , 1998 .

[5]  W. P. M. H. Heemels,et al.  Linear Complementarity Systems , 2000, SIAM J. Appl. Math..

[6]  Albert Benveniste.  Compositional and Uniform Modelling of Hybrid Systems , 1995, Hybrid Systems.

[7]  Per Lötstedt.  Mechanical Systems of Rigid Bodies Subject to Unilateral Constraints , 1982 .

[8]  J. M. Schumacher,et al.  Compositionality issues in discrete, continuous, and hybrid systems , 2001 .

[9]  Hilding Elmqvist,et al.  Modelica — A unified object-oriented language for physical systems modeling , 1997 .

[10]  Mark H. Davis.  Markov Models and Optimization , 1995 .

[11]  Panos J. Antsaklis,et al.  Hybrid Systems V , 1999, Lecture Notes in Computer Science.

[12]  G. Basile,et al.  Controlled and conditioned invariants in linear system theory , 1992 .

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

[14]  Eduardo Sontag.  Nonlinear regulation: The piecewise linear approach , 1981 .

[15]  de B Bart Schutter,et al.  On the equivalence of classes of hybrid systems : mixed logical dynamical and complementarity systems , 2000 .

[16]  A. Benveniste.  Compositional and uniform modeling of hybrid systems , 1998 .

[17]  Thomas A. Henzinger,et al.  Hybrid systems III : verification and control , 1996 .

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

[19]  B. Brogliato.  Nonsmooth Impact Mechanics: Models, Dynamics and Control , 1996 .

[20]  Richard W. Cottle,et al.  Linear Complementarity Problem. , 1992 .

[21]  Bart De Schutter,et al.  The Extended Linear Complementary Problem and the Modeling and Analysis of Hybrid Systems , 1997, Hybrid Systems.

[22]  Johannes Schumacher,et al.  An Introduction to Hybrid Dynamical Systems, Springer Lecture Notes in Control and Information Sciences 251 , 1999 .

[23]  Ton J.J. van den Boom,et al.  Model Predictive Control for Max-Min-Plus Systems , 2000 .

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

[25]  J. Moreau.  Liaisons unilatérales sans frottement et chocs inélastiques , 1983 .

[26]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

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

[28]  Olaf Stursberg,et al.  Verification of logic controllers for continuous plants using timed condition/event-system models , 1999, Autom..

[29]  M. Hautus.  The Formal Laplace Transform for Smooth Linear Systems , 1976 .

[30]  H. Samelson,et al.  A partition theorem for Euclidean $n$-space , 1958 .

[31]  P. Le Guernic,et al.  Hybrid dynamical systems theory and the Signal language , 1990 .

[32]  W. Wonham.  Linear Multivariable Control: A Geometric Approach , 1974 .

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

[34]  A. Schaft.  L2-Gain and Passivity Techniques in Nonlinear Control. Lecture Notes in Control and Information Sciences 218 , 1996 .

[35]  Margreta Kuijper,et al.  First order representations of linear systems , 1994 .

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

[37]  Arjan van der Schaft,et al.  Uniqueness of solutions of linear relay systems , 1999, Autom..

[38]  J. Willems.  Paradigms and puzzles in the theory of dynamical systems , 1991 .