On the existence of Zeno behavior in hybrid systems with non-isolated Zeno equilibria [PDF]
This paper presents proof-certificate based sufficient conditions for the existence of Zeno behavior in hybrid systems near non-isolated Zeno equilibria. To establish these conditions, we first prove sufficient conditions for Zeno behavior in a special class of hybrid systems termed first quadrant interval hybrid systems.
Andrew G. Lamperski, Aaron D. Ames
core +4 more sources
Lyapunov-Like Conditions for the Existence of Zeno Behavior in Hybrid and Lagrangian Hybrid Systems [PDF]
Lyapunov-like conditions that utilize generalizations of energy and barrier functions certifying Zeno behavior near Zeno equilibria are presented. To better illustrate these conditions, we will study them in the context of Lagrangian hybrid systems. Through the observation that Lagrangian hybrid systems with isolated Zeno equilibria must have a one ...
Andrew G. Lamperski, Aaron D. Ames
core +5 more sources
Continuous Piecewise Affine Dynamical Systems do not Exhibit Zeno Behavior [PDF]
In the context of continuous piecewise affine dynamical systems, we study the Zeno behavior, i.e., infinite number of mode transitions in finite time interval, in this note. The main result reveals that piecewise affine dynamical systems do not exhibit Zeno behavior. A direct benefit of the main result is that one can apply smooth ordinary differential
Thuan, Le Quang +1 more
openaire +2 more sources
Characterization of zeno behavior in hybrid systems using homological methods [PDF]
It is possible to associate to a hybrid system a single topological space its underlying topological space. Simultaneously, every hybrid system has a graph as its indexing object its underlying graph. Here we discuss the relationship between the underlying topological space of a hybrid system, its underlying graph and Zeno behavior. When each domain is
Ames, Aaron D., Sastry, Shankar
openaire +3 more sources
Enclosing the behavior of a hybrid system up to and beyond a Zeno point [PDF]
Even simple hybrid systems like the classic bouncing ball can exhibit Zeno behaviors. The existence of this type of behavior has so far forced simulators to either ignore some events or risk looping indefinitely. This in turn forces modelers to either insert ad hoc restrictions to circumvent Zeno behavior or to abandon hybrid modeling.
Michal Konecný +4 more
openaire +3 more sources
Sufficient Conditions for Zeno Behavior in Lagrangian Hybrid Systems [PDF]
This paper presents easily verifiable sufficient conditions for the existence of Zeno behavior in Lagrangian hybrid systems, i.e., hybrid systems modeling mechanical systems undergoing impacts.
Lamperski, Andrew, Ames, Aaron D.
openaire +3 more sources
Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Konečný, Michal +5 more
openaire +5 more sources
A priori detection of Zeno behavior in communication networks modeled as hybrid systems [PDF]
In this paper, we show that the sufficient conditions for the existence of Zeno behavior in hybrid systems derived in (A. Abate et al., 2005) correctly predict such executions in a modeling instance of the fluid-flow approximation of the TCP-like protocol for wireless communication networks.
Abate, Alessandro +2 more
openaire +3 more sources
Scalar linear complementarity systems do not exhibit Zeno behavior [PDF]
This paper studies nature of solutions of scalar linear complementarity systems. The main result asserts that such systems do not exhibit Zeno behavior, that is there can only be finitely many switchings within any finite time interval.
Camlibel, M.K. +3 more
openaire +5 more sources
Well-posed bimodal piecewise linear systems do not exhibit Zeno behavior [PDF]
The phenomenon of infinitely mode transitions in a finite time interval is called Zeno behavior in hybrid systems literature. It plays a critical role in the study of numerical methods and fundamental system and control theoretic properties of hybrid systems.
Camlibel, Kanat
core +6 more sources

