Hybrid dynamical systems

Robust stability and control for systems that combine continuous-time and discrete-time dynamics. This article is a tutorial on modeling the dynamics of hybrid systems, on the elements of stability theory for hybrid systems, and on the basics of hybrid control. The presentation and selection of material is oriented toward the analysis of asymptotic stability in hybrid systems and the design of stabilizing hybrid controllers. Our emphasis on the robustness of asymptotic stability to data perturbation, external disturbances, and measurement error distinguishes the approach taken here from other approaches to hybrid systems. While we make some connections to alternative approaches, this article does not aspire to be a survey of the hybrid system literature, which is vast and multifaceted.

[1]  J. L. Massera.  On Liapounoff's Conditions of Stability , 1949 .

[2]  Jaroslav Kurzweil,et al.  Об обращении второй теоремы Ляпунова об устойчивости движения , 1956 .

[3]  J. P. Lasalle.  Some Extensions of Liapunov's Second Method , 1960 .

[4]  V. Matrosov.  On the theory of stability of motion , 1962 .

[5]  F. Hoppensteadt.  Singular perturbations on the infinite interval , 1966 .

[6]  Wolfgang Hahn,et al.  Stability of Motion , 1967 .

[7]  吉澤 太郎.  An Invariance Principle in the Theory of Stability (常微分方程式及び函数微分方程式研究会報告集) , 1968 .

[8]  T. J. Walker,et al.  Acoustic Synchrony: Two Mechanisms in the Snowy Tree Cricket , 1969, Science.

[9]  F. Wilson,et al.  Smoothing derivatives of functions and applications , 1969 .

[10]  Charles S. Peskin,et al.  Mathematical aspects of heart physiology , 1975 .

[11]  V. Jurdjevic,et al.  Controllability and stability , 1978 .

[12]  Otomar Hájek,et al.  Discontinuous differential equations, II , 1979 .

[13]  R. W. Brockett,et al.  Asymptotic stability and feedback stabilization , 1982 .

[14]  Eduardo Sontag.  A Lyapunov-Like Characterization of Asymptotic Controllability , 1983, SIAM Journal on Control and Optimization.

[15]  Z. Artstein.  Stabilization with relaxed controls , 1983 .

[16]  R. K. Miller,et al.  Stability Analysis of Hybrid Composite Dynamical Systems: Descriptions Involving Operators and Difference Equations , 1986, 1986 American Control Conference.

[17]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

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

[19]  J. Moreau,et al.  Topics in Nonsmooth Mechanics , 1988 .

[20]  J. Buck.  Synchronous Rhythmic Flashing of Fireflies. II. , 1938, The Quarterly Review of Biology.

[21]  Brad Paden,et al.  Globally asymptotically stable ‘PD+’ controller for robot manipulators , 1988 .

[22]  Aristotle Arapostathis,et al.  Remarks on smooth feedback stabilization of nonlinear systems , 1988 .

[23]  J. Moreau,et al.  Unilateral Contact and Dry Friction in Finite Freedom Dynamics , 1988 .

[24]  Eduardo Sontag.  Smooth stabilization implies coprime factorization , 1989, IEEE Transactions on Automatic Control.

[25]  John Tsinias,et al.  Sufficient lyapunov-like conditions for stabilization , 1989, Math. Control. Signals Syst..

[26]  A. Isidori,et al.  New results and examples in nonlinear feedback stabilization , 1989 .

[27]  R. Suárez,et al.  Global stabilization of nonlinear cascade systems , 1990 .

[28]  S. Strogatz,et al.  Synchronization of pulse-coupled biological oscillators , 1990 .

[29]  G. D. Maso,et al.  On systems of ordinary differential equations with measures as controls , 1991, Differential and Integral Equations.

[30]  A. Morse,et al.  Applications of hysteresis switching in parameter adaptive control , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[31]  P. Kokotovic,et al.  On stability properties of nonlinear systems with slowly varying inputs , 1991 .

[32]  A. Isidori,et al.  Passivity, feedback equivalence, and the global stabilization of minimum phase nonlinear systems , 1991 .

[33]  Jean-Baptiste Pomet.  Explicit design of time-varying stabilizing control laws for a class of controllable systems without drift , 1992 .

[34]  Hansel,et al.  Synchronization and computation in a chaotic neural network. , 1992, Physical review letters.

[35]  A. M. Lyapunov.  The general problem of the stability of motion , 1992 .

[36]  Georges Bastin,et al.  A hybrid strategy for the feedback stabilization of nonholonomic mobile robots , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[37]  Claude Samson,et al.  Time-varying Feedback Stabilization of Car-like Wheeled Mobile Robots , 1993, Int. J. Robotics Res..

[38]  P. Khargonekar,et al.  H∞ control and filtering for sampled-data systems , 1993, IEEE Trans. Autom. Control..

[39]  A. Morse.  Supervisory control of families of linear set-point controllers , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[40]  P. Gahinet,et al.  A linear matrix inequality approach to H∞ control , 1994 .

[41]  G. N. Silva,et al.  Measure Driven Differential Inclusions , 1996 .

[42]  T. Henzinger.  The theory of hybrid automata , 1996, LICS 1996.

[43]  Rachid Outbib,et al.  Semidefinite lyapunov functions stability and stabilization , 1996, Math. Control. Signals Syst..

[44]  Yuandan Lin,et al.  A Smooth Converse Lyapunov Theorem for Robust Stability , 1996 .

[45]  H. T. Toivonen,et al.  The sampled-data H problem: A unified framework for discretizationbased methods and Riccati equation solution , 1997 .

[46]  E. Ryan.  An Integral Invariance Principle for Differential Inclusions with Applications in Adaptive Control , 1998 .

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

[48]  Yu. S. Ledyaev,et al.  Asymptotic Stability and Smooth Lyapunov Functions , 1998 .

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

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

[51]  Hilding Elmqvist,et al.  MODELICA — THE NEW OBJECT-ORIENTED MODELING LANGUAGE , 1998 .

[52]  D. Aeyels,et al.  A new asymptotic stability criterion for nonlinear time-variant differential equations , 1998, IEEE Trans. Autom. Control..

[53]  A. Morse,et al.  Basic problems in stability and design of switched systems , 1999 .

[54]  Arjan van der Schaft,et al.  An Introduction to Hybrid Dynamical Systems, Springer Lecture Notes in Control and Information Sciences 251 , 1999 .

[55]  A. Michel.  Recent trends in the stability analysis of hybrid dynamical systems , 1999 .

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

[57]  Tong Heng Lee,et al.  Design and implementation of a hard disk drive servo system using robust and perfect tracking approach , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[58]  Geir E. Dullerud,et al.  Asynchronous hybrid systems with jumps – analysis and synthesis methods , 1999 .

[59]  João Pedro Hespanha,et al.  Stabilization of nonholonomic integrators via logic-based switching , 1999, Autom..

[60]  Yu. S. Ledyaev,et al.  A Lyapunov characterization of robust stabilization , 1999 .

[61]  Linda Bushnell,et al.  Stability analysis of networked control systems , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[62]  A. Morse,et al.  Stability of switched systems with average dwell-time , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[63]  R. Decarlo,et al.  Perspectives and results on the stability and stabilizability of hybrid systems , 2000, Proceedings of the IEEE.

[64]  Dennis S. Bernstein,et al.  Resetting Virtual Absorbers for Vibration Control , 2000 .

[65]  P.J. Antsaklis,et al.  Supervisory control of hybrid systems , 2000, Proceedings of the IEEE.

[66]  Geir E. Dullerud,et al.  An LMI solution to the robust synthesis problem for multi-rate sampled-data systems , 2001, Autom..

[67]  Jürgen Kurths,et al.  Synchronization - A Universal Concept in Nonlinear Sciences , 2001, Cambridge Nonlinear Science Series.

[68]  Jean-Pierre Aubin,et al.  Cadenced runs of impulse and hybrid control systems , 2001 .

[69]  Romeo Ortega,et al.  Putting energy back in control , 2001 .

[70]  Jessy W. Grizzle,et al.  Discrete-time control design with positive semi-definite Lyapunov functions , 2001, Syst. Control. Lett..

[71]  Christophe Prieur.  Uniting Local and Global Controllers with Robustness to Vanishing Noise , 2001, Math. Control. Signals Syst..

[72]  A. Peterson,et al.  Dynamic Equations on Time Scales , 2001 .

[73]  Jean-Pierre Aubin,et al.  Impulse differential inclusions: a viability approach to hybrid systems , 2002, IEEE Trans. Autom. Control..

[74]  Edward A. Lee,et al.  A component-based approach to modeling and simulating mixed-signal and hybrid systems , 2002, TOMC.

[75]  Tong Heng Lee,et al.  A new approach to the design of mode switching control in hard disk drive servo systems , 2002 .

[76]  Mireille E. Broucke,et al.  Continuous selections of trajectories of hybrid systems , 2002, Syst. Control. Lett..

[77]  Vijay Kumar,et al.  Hierarchical modeling and analysis of embedded systems , 2003, Proc. IEEE.

[78]  K. Åström,et al.  Systems with Lebesgue sampling , 2003 .

[79]  Christopher I. Byrnes,et al.  Limit sets, zero dynamics, and internal models in the problem of nonlinear output regulation , 2003, IEEE Trans. Autom. Control..

[80]  Daniel Liberzon,et al.  Switching in Systems and Control , 2003, Systems & Control: Foundations & Applications.

[81]  Michael Farber.  Topological Complexity of Motion Planning , 2003, Discret. Comput. Geom..

[82]  Karl Henrik Johansson,et al.  Dynamical properties of hybrid automata , 2003, IEEE Trans. Autom. Control..

[83]  S. Bhat,et al.  An invariance principle for nonlinear hybrid and impulsive dynamical systems , 2003 .

[84]  Franck Plestan,et al.  Stable walking of a 7-DOF biped robot , 2003, IEEE Trans. Robotics Autom..

[85]  Orhan Beker,et al.  Fundamental properties of reset control systems , 2004, Autom..

[86]  J. Hespanha,et al.  Hybrid systems: Generalized solutions and robust stability , 2004 .

[87]  Andrew R. Teel,et al.  Smooth Lyapunov functions and robustness of stability for difference inclusions , 2004, Syst. Control. Lett..

[88]  Pieter Collins,et al.  A Trajectory-Space Approach to Hybrid Systems , 2004 .

[89]  João Pedro Hespanha,et al.  Uniform stability of switched linear systems: extensions of LaSalle's Invariance Principle , 2004, IEEE Transactions on Automatic Control.

[90]  Andrew R. Teel,et al.  Examples when nonlinear model predictive control is nonrobust , 2004, Autom..

[91]  Alberto Bemporad,et al.  HYSDEL-a tool for generating computational hybrid models for analysis and synthesis problems , 2004, IEEE Transactions on Control Systems Technology.

[92]  Daniel Liberzon,et al.  Stability of hybrid automata with average dwell time: an invariant approach , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[93]  Antonio Loría,et al.  A nested Matrosov theorem and persistency of excitation for uniform convergence in stable nonautonomous systems , 2005, IEEE Transactions on Automatic Control.

[94]  Feng Lin,et al.  Analysis of Zeno behaviors in a class of hybrid systems , 2005, IEEE Transactions on Automatic Control.

[95]  D. Liberzon,et al.  On Input-to-State Stability of Impulsive Systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[96]  S. Shankar Sastry,et al.  Sufficient Conditions for the Existence of Zeno Behavior , 2007, Proceedings of the 44th IEEE Conference on Decision and Control.

[97]  David Angeli,et al.  Nonlinear norm-observability notions and stability of switched systems , 2005, IEEE Transactions on Automatic Control.

[98]  A. Teel,et al.  Results on input-to-state stability for hybrid systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[99]  Edward A. Lee,et al.  Operational Semantics of Hybrid Systems , 2005, HSCC.

[100]  Rafal Goebel,et al.  Solutions to hybrid inclusions via set and graphical convergence with stability theory applications , 2006, Autom..

[101]  Rafal Goebel,et al.  Smooth patchy control Lyapunov functions , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[102]  S. Sastry,et al.  Is there life after Zeno? Taking executions past the breaking (Zeno) point , 2006, 2006 American Control Conference.

[103]  Cai Chaohong,et al.  Complex Hybrid Systems: Stability Analysis for Omega Limit Sets , 2006, 2007 Chinese Control Conference.

[104]  A.D. Ames,et al.  Sufficient conditions for the existence of zeno behavior in a class of nonlinear hybrid systems via constant approximations , 2005, 2007 46th IEEE Conference on Decision and Control.

[105]  Philippe Lefèvre,et al.  Rhythmic Feedback Control of a Blind Planar Juggler , 2007, IEEE Transactions on Robotics.

[106]  Chaohong Cai,et al.  Smooth Lyapunov Functions for Hybrid Systems—Part I: Existence Is Equivalent to Robustness , 2007, IEEE Transactions on Automatic Control.

[107]  Aaron D. Ames,et al.  Lyapunov-Like Conditions for the Existence of Zeno Behavior in Hybrid and Lagrangian Hybrid Systems , 2007, 2007 46th IEEE Conference on Decision and Control.

[108]  Ricardo G. Sanfelice,et al.  A hybrid systems approach to trajectory tracking control for juggling systems , 2007, 2007 46th IEEE Conference on Decision and Control.

[109]  Dragan Nesic,et al.  A Lyapunov Proof of an Improved Maximum Allowable Transfer Interval for Networked Control Systems , 2007, IEEE Transactions on Automatic Control.

[110]  Ricardo G. Sanfelice,et al.  Invariance Principles for Hybrid Systems With Connections to Detectability and Asymptotic Stability , 2007, IEEE Transactions on Automatic Control.

[111]  Wassim M. Haddad,et al.  Energy- and Entropy-Based Stabilization for Lossless Dynamical Systems via Hybrid Controllers , 2007, IEEE Transactions on Automatic Control.

[112]  F. Allgower,et al.  An impulsive observer that estimates the exact state of a linear continuous-time system in predetermined finite time , 2007, 2007 Mediterranean Conference on Control & Automation.

[113]  A. Astolfi,et al.  A Globally Stabilizing Time-switching Control Strategy for an Underactuated Rigid Body , 2007, 2007 American Control Conference.

[114]  Paulo Tabuada,et al.  Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks , 2007, IEEE Transactions on Automatic Control.

[115]  Chris Arney.  Sync: The Emerging Science of Spontaneous Order , 2007 .

[116]  Michael Malisoff,et al.  Constructions of strict Lyapunov functions for discrete time and hybrid time-varying systems , 2006, math/0610210.

[117]  Hamid D. Taghirad,et al.  Robust Performance Verification of Adaptive Robust Controller for Hard Disk Drives , 2008, IEEE Transactions on Industrial Electronics.

[118]  Ricardo G. Sanfelice,et al.  Invariance principles for switching systems via hybrid systems techniques , 2008, Syst. Control. Lett..

[119]  R. Sanfelice,et al.  GENERALIZED SOLUTIONS TO HYBRID DYNAMICAL SYSTEMS , 2008 .

[120]  J. Cortés.  Discontinuous dynamical systems , 2008, IEEE Control Systems.

[121]  Ricardo G. Sanfelice,et al.  Hybrid Systems: Limit Sets and Zero Dynamics with a View Toward Output Regulation , 2008 .

[122]  Rafal Goebel,et al.  Zeno behavior in homogeneous hybrid systems , 2008, 2008 47th IEEE Conference on Decision and Control.

[123]  A. Teel,et al.  Relaxation Results for Hybrid Inclusions , 2008 .

[124]  A.R. Teel,et al.  On robust, global stabilization of the attitude of an underactuated rigid body using hybrid feedback , 2008, 2008 American Control Conference.

[125]  Ricardo G. Sanfelice,et al.  Supervising a family of hybrid controllers for robust global asymptotic stabilization , 2008, 2008 47th IEEE Conference on Decision and Control.

[126]  A.R. Teel,et al.  A nested Matrosov theorem for hybrid systems , 2008, 2008 American Control Conference.

[127]  Luca Zaccarian,et al.  Stability properties of reset systems , 2008, Autom..

[128]  Rafal Goebel,et al.  Lyapunov characterization of Zeno behavior in hybrid systems , 2008, 2008 47th IEEE Conference on Decision and Control.

[129]  Chaohong Cai,et al.  Smooth Lyapunov Functions for Hybrid Systems Part II: (Pre)Asymptotically Stable Compact Sets , 2008, IEEE Transactions on Automatic Control.