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.
Read more about this topic: Zeno's Paradoxes
Famous quotes containing the word behaviour:
“I look on it as no trifling effort of female strength to withstand the artful and ardent solicitations of a man that is thoroughly master of our hearts. Should we in the conflict come off victorious, it hardly pays us for the pain we suffer from the experiment ... and I still persist in it that such a behaviour in any man I love would rob me of that most pleasing thought, namely, the obligation I have to him for not making such a trial.”
—Sarah Fielding (1710–1768)