Local analysis of hybrid systems on polyhedral sets with state-dependent switching

Abstract This paper deals with stability analysis of hybrid systems. Various stability concepts related to hybrid systems are introduced. The paper advocates a local analysis. It involves the equivalence relation generated by reset maps of a hybrid system. To establish a tangible method for stability analysis, we introduce the notion of a chart, which locally reduces the complexity of the hybrid system. In a chart, a hybrid system is particularly simple and can be analyzed with the use of methods borrowed from the theory of differential inclusions. Thus, the main contribution of this paper is to show how stability of a hybrid system can be reduced to a specialization of the well established stability theory of differential inclusions. A number of examples illustrate the concepts introduced in the paper.

[1]  J. L. Bryant.  Piecewise Linear Topology , 2001 .

[2]  R. Wisniewski.  Towards Modelling of Hybrid Systems , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[3]  Bin Jiang,et al.  Spacecraft formation stabilization and fault tolerance: A state-varying switched system approach , 2013, Syst. Control. Lett..

[4]  S. Shankar Sastry,et al.  A Homology Theory for Hybrid Systems: Hybrid Homology , 2005, HSCC.

[5]  Alberto Sangiovanni-Vincentelli,et al.  Hybrid systems in automotive electronics design , 2006 .

[6]  J.H. van Schuppen,et al.  Control to facet problems for affine systems on simplices and polytopes – With applications to control of hybrid systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[7]  Huaguang Zhang,et al.  Stabilization of Switched Nonlinear Systems With All Unstable Modes: Application to Multi-Agent Systems , 2011, IEEE Transactions on Automatic Control.

[8]  S. Pettersson,et al.  Hybrid system stability and robustness verification using linear matrix inequalities , 2002 .

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

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

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

[12]  Karl Henrik Johansson,et al.  Towards a Geometric Theory of Hybrid Systems , 2000, HSCC.

[13]  Wei Zhang,et al.  Hybrid Systems in Robotics , 2011, IEEE Robotics & Automation Magazine.

[14]  R. Sanfelice,et al.  Hybrid dynamical systems , 2009, IEEE Control Systems.

[15]  Paulo Tabuada,et al.  Verification and Control of Hybrid Systems , 2009 .

[16]  Louise Travé-Massuyès,et al.  Mode set focused hybrid estimation , 2013, Int. J. Appl. Math. Comput. Sci..

[17]  G. C. Shephard,et al.  Convex Polytopes , 1969, The Mathematical Gazette.

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

[19]  Calin Belta,et al.  Temporal Logic Control of Discrete-Time Piecewise Affine Systems , 2012, IEEE Transactions on Automatic Control.

[20]  J. Leth,et al.  On formalism and stability of switched systems , 2012, Journal of Control Theory and Applications.

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

[22]  Nathan van de Wouw,et al.  Non-smooth Dynamical Systems , 2008 .

[23]  A.L. Sangiovanni-Vincentelli,et al.  Hybrid Systems in Automotive Electronics Design , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[24]  H. Nijmeijer,et al.  Dynamics and Bifurcations ofNon - Smooth Mechanical Systems , 2006 .

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

[26]  Paulo Tabuada,et al.  Verification and Control of Hybrid Systems - A Symbolic Approach , 2009 .

[27]  Franco Blanchini,et al.  Set-theoretic methods in control , 2007 .

[28]  Brigitte Maier,et al.  Fundamentals Of Differential Geometry , 2016 .

[29]  G. E. Bredon.  Topology and geometry , 1993 .

[30]  Ricardo G. Sanfelice,et al.  Robust Stability and Control for Systems That Combine Continuous-time and Discrete-time Dynamics , 2009 .

[31]  A. Criminisi,et al.  Notation and Terminology , 2013 .

[32]  Rafael Wisniewski,et al.  Convenient model for systems with hystereses-control , 2011, IEEE Conference on Decision and Control and European Control Conference.

[33]  Bart De Schutter,et al.  Equivalence of hybrid dynamical models , 2001, Autom..

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

[35]  Anders Rantzer,et al.  Piecewise linear quadratic optimal control , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

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