Wherever continuous and discrete dynamics interact, hybrid systems arise. This is especially the case in many technological systems in which logic decision-making and embedded control actions are combined with continuous physical processes. Also for many mechanical, biological, electrical and economical systems the use of hybrid models is essential to adequately describe their behaviour. To capture the evolution of these systems, mathematical models are needed that combine in one way or another the dynamics of the continuous parts of the system with the dynamics of the logic and discrete parts. These mathematical models come in all kinds of variations, but basically consist of some form of differential or difference equations on the one hand and automata or other discrete-event models on the other hand. The collection of analysis and synthesis techniques based on these models forms the research area of hybrid systems theory, which plays an important role in the multi-disciplinary design of many technological systems that surround us. This paper presents an overview from the perspective of the control community on modelling, analysis and control design for hybrid dynamical systems and surveys the major research lines in this appealing and lively research area.
Alessandri A.& Coletta P.. 2001Design of Luenberger observers for a class of hybrid linear systems. Hybrid systems:computation and controlLecture Notes in Computer Science, no. 20347–18Berlin, GermanySpringer. Google Scholar Alur R.& Henzinger T. A.. 1997Modularity for timed and hybrid systems. Proc. 8th Int. Conf. on Concurrency TheoryLecture Notes in Computer Science, no. 124374-88Berlin, GermanySpringer. Google Scholar Balluchi A., Benvenuti L., Di Benedetto M. D.& Sangiovanni-Vincentelli A. L.. 2002Design of observers for hybrid systems. Hybrid systems:computation and control , Tomlin C. J.& Greenstreet J. R.Lecture Notes in Computer Science, no. 228976–89Stanford, CASpringer. Google Scholar Borrelli F.. 2003Constrained optimal control of linear and hybrid systemsLecture Notes in Control and Information Sciences, no. 290Berlin, GermanySpringer. Google Scholar Brogliato B.. 1996Nonsmooth impact mechanics. Models, dynamics and controlLecture Notes in Control and Information Sciences, no. 220London, UKSpringer. Google Scholar Cassandras C.& Lygeros J.. 2007Stochastic hybrid systems.Control Engineering SeriesBoca Raton, FLCRC, Taylor and Francis. Google Scholar Goebel R., Hespanha J., Teel A., Cai C.& Sanfelice R.. 2004Hybrid systems:generalized solutions and robust stability. Proc. IFAC Symp. on Nonlinear Control Systems (NOLCOS), Stuttgart, Germany, 1–3 September 20041–12. Google Scholar Habets L. C. G. J. M.& van Schuppen J. H.. 2001A controllability result for piecewise-linear hybrid systems. Proc. 2001 European Control Conference, Porto, Portugal, 4–7 September 2001. Google Scholar Haddad W. M., Chellaboina V.& Nersesov S. G.. 2006Dissipativity and controlPrinceton, NJPrinceton University Press. Google Scholar Heemels W. P. M. H., Camlibel M. K., van der Schaft A. J.& Schumacher J. M.. 2003On the existence and uniqueness of solution trajectories to hybrid dynamical systems. Nonlinear and hybrid control in automotive applications , Johansson R.& Rantzer A.391–422Berlin, GermanySpringer. Google Scholar Juloski A. Lj., Heemels W. P. M. H., Ferrari-Trecate G., Vidal R., Paoletti S.& Niessen J. H. G.. 2005aComparison of four procedures for the identification of hybrid systems. Hybrid systems:computation and controlLecture Notes in Computer Science, no. 3414354–369Berlin, GermanySpringer. Google Scholar Khalil H. K.. 1996Nonlinear systems2nd edn.Upper Saddle River, NJPrentice Hall. Google Scholar Langerak R., Polderman J. W.& Krilavičius T.. 2003Stability analysis for hybrid automata using conservative gains. Proc. IFAC Conf. on Analysis and Design of Hybrid Systems, Saint Malo, France, 16–18 June 2003337–342. Google Scholar Maciejowski J. M.. 2002Predictive control with constraintsHarlow, UKPrentice Hall. Google Scholar Mori Y., Mori T.& Kuroe Y.. 1997A solution to the common Lyapunov function problem for continuous-time systems. Proc. 36th IEEE Conference on Decision and Control, San Diego, CA, 10–12 December 19973530–3531. Google Scholar Petterson S.. 2005Switched state jump observers for switched systems. Proc. IFAC World Congress, Prague, Czech Republic, 4–8 July 2005. Google Scholar Rawlings J. B.& Mayne D. Q.. 2009Model predictive control:theory and designMadison, WINob Hill Publishing. Google Scholar Vidal R., Soatto S.& Sastry S.. 2003An algebraic geometric approach for identification of linear hybrid systems. Proc. 42nd IEEE Conf. on Decision and Control, Maui, HI, 9–12 December 2003, pp. 167–172. Google Scholar