How well-posedness of hybrid systems can extend beyond Zeno times

The extension of a solution to a hybrid system beyond its Zeno time is a simple exercise in modeling. However, assuring that the extended system is well-posed in a certain sense, in particular, that the extension of a solution depends reasonably on initial, pre-Zeno, conditions, has not been addressed. In this paper it is shown that these results hold for hybrid systems that exhibit Zeno behavior when the set of Zeno equilibria forms a continuum that has certain stability properties. Several scenarios of going past Zeno are presented. Dependence of limits of Zeno solutions, of Zeno times, and of reachable sets on initial conditions is also discussed.

[1]  Rafal Goebel,et al.  Preasymptotic Stability and Homogeneous Approximations of Hybrid Dynamical Systems , 2010, SIAM Rev..

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

[3]  Dennis S. Bernstein,et al.  Nontangency-Based Lyapunov Tests for Convergence and Stability in Systems Having a Continuum of Equilibria , 2003, SIAM J. Control. Optim..

[4]  Aaron D. Ames,et al.  Stability of Zeno equilibria in Lagrangian hybrid systems , 2008, 2008 47th IEEE Conference on Decision and Control.

[5]  B. Brogliato.  Nonsmooth Mechanics: Models, Dynamics and Control , 1999 .

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

[7]  Ricardo G. Sanfelice,et al.  Notions and Sufficient Conditions for Pointwise Asymptotic Stability in Hybrid Systems , 2016 .

[8]  Ricardo G. Sanfelice,et al.  Hybrid Dynamical Systems: Modeling, Stability, and Robustness , 2012 .

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

[10]  Dennis S. Bernstein,et al.  Arc-length-based Lyapunov tests for convergence and stability with applications to systems having a continuum of equilibria , 2010, Math. Control. Signals Syst..

[11]  Akash Deshpande,et al.  Control of hybrid systems , 1994 .

[12]  Sanjay P. Bhat,et al.  Semistability, Finite-Time Stability, Differential Inclusions, and Discontinuous Dynamical Systems Having a Continuum of Equilibria , 2009, IEEE Transactions on Automatic Control.

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

[14]  Rafal Goebel,et al.  Robustness of stability through necessary and sufficient Lyapunov-like conditions for systems with a continuum of equilibria , 2014, Syst. Control. Lett..

[15]  R. Tyrrell Rockafellar,et al.  Variational Analysis , 1998, Grundlehren der mathematischen Wissenschaften.

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

[17]  A.R. Teel,et al.  Hybrid Dynamical Systems: Robust Stability and Control , 2006, 2007 Chinese Control Conference.

[18]  A. Sikorska-Nowak,et al.  Dynamic equations (…) on time scales , 2011 .

[19]  P. J. L. Cuijpers,et al.  Beyond Zeno-behaviour , 2001 .

[20]  Qing Hui,et al.  Hybrid consensus protocols: An impulsive dynamical system approach , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[21]  Edward A. Lee,et al.  Beyond Zeno: Get on with It! , 2006, HSCC.

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

[23]  Wassim M. Haddad,et al.  Semistability of switched dynamical systems , Part I : Linear system theory , 2009 .

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

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

[26]  S. Bhat,et al.  Finite-time semistability, Filippov systems, and consensus protocols for nonlinear dynamical networks with switching topologies , 2010 .

[27]  Qing Hui,et al.  Semistability and Robustness Analysis for Switched Systems , 2011, Eur. J. Control.

[28]  S. Bhat,et al.  Lyapunov analysis of semistability , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[29]  S. Sastry,et al.  Zeno hybrid systems , 2001 .

[30]  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.

[31]  Aaron D. Ames,et al.  Lyapunov Theory for Zeno Stability , 2013, IEEE Transactions on Automatic Control.

[32]  Rafal Goebel,et al.  Set-valued Lyapunov functions for difference inclusions , 2011, Autom..