A priori detection of Zeno behavior in communication networks modeled as hybrid systems
Alessandro Abate, Aaron D. Ames, Shankar Sastry · 2006
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