Sufficient Conditions for the Existence of Zeno Behavior

In this paper, sufficient conditions for the existence of Zeno behavior in a class of hybrid systems are given; these are the first sufficient conditions on Zeno of which the authors are aware for hybrid systems with nontrivial dynamics. This is achieved by considering a class of hybrid systems termed diagonal first quadrant (DFQ) hybrid systems. When the underlying graph of a DFQ hybrid system has a cycle, we can construct an in finite execution for this system when the vector fields on each domain satisfy certain assumptions. To this execution, we can associate a single discrete time dynamical system that describes its continuous evolution. Therefore, we reduce the study of executions of DFQ hybrid systems to the study of a single discrete time dynamical system. We obtain sufficient conditions for the existence of Zeno by determining when this discrete time dynamical system is exponentially stable.

[1]  Paulo Tabuada,et al.  On the Stability of Zeno Equilibria , 2006, HSCC.

[2]  Feng Lin,et al.  Analysis of Zeno behaviors in hybrid systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

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

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

[5]  M. Branicky.  Stability of hybrid systems: state of the art , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[6]  Vijay Kumar,et al.  Accurate Event Detection for Simulating Hybrid Systems , 2001, HSCC.

[7]  A.D. Ames,et al.  Stochastic approximations of hybrid systems , 2005, Proceedings of the 2005, American Control Conference, 2005..

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

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

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

[11]  E. Coddington,et al.  Theory of Ordinary Differential Equations , 1955 .

[12]  A.D. Ames,et al.  Characterization of Zeno behavior in hybrid systems using homological methods , 2005, Proceedings of the 2005, American Control Conference, 2005..

[13]  S. Sastry.  Nonlinear Systems: Analysis, Stability, and Control , 1999 .

[14]  D. Liberzon,et al.  A small-gain approach to stability analysis of hybrid systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.