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:
“The methodological advice to interpret in a way that optimizes agreement should not be conceived as resting on a charitable assumption about human intelligence that might turn out to be false. If we cannot find a way to interpret the utterances and other behaviour of a creature as revealing a set of beliefs largely consistent and true by our standards, we have no reason to count that creature as rational, as having beliefs, or as saying anything.”
—Donald Davidson (b. 1917)