| | |
Summary: A Priori Detection of Zeno Behavior
in Communication Networks Modeled as Hybrid Systems
Alessandro Abate, Aaron D. Ames and Shankar Sastry
Department of Electrical Engineering and Computer Sciences
University of California at Berkeley
Berkeley, CA 94720
{aabate,adames,sastry@eecs.berkeley.edu}
Abstract-- In this paper, we show that the sufficient con-
ditions for the existence of Zeno behavior in hybrid systems
derived in [3] correctly predict such executions in a model-
ing instance of the fluid-flow approximation of the TCP-like
protocol for wireless communication networks.
I. INTRODUCTION
Hybrid systems are systems that display both continuous
and discrete behavior, and so are endowed with powerful
modeling capabilities. Unfortunately, the yin to this yang is
that hybrid models may exhibit non robust and pathological
behaviors due to their structural interconnections. Zeno be-
havior provides a notorious, and peculiar, example of this; its
existence can be disruptive to both analysis and simulation.
|
