Zeno's Paradoxes - Zeno Behaviour

Zeno Behaviour

In the field of verification and design of timed and hybrid systems, the system behaviour is called Zeno if it includes an infinite number of discrete steps in a finite amount of time. Some formal verification techniques exclude these behaviours from analysis, if they are not equivalent to non-Zeno behaviour. In systems design these behaviours will also often be excluded from system models, since they cannot be implemented with a digital controller. A simple example of a system showing Zeno behaviour is a bouncing ball coming to rest. The physics of a bouncing ball can be mathematically analyzed in such a way, ignoring factors other than rebound, to predict an infinite number of bounces.