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.
Στον τομέα του ελέγχου και του σχεδιασμού της χρονομέτρησης και των υβριδικών συστημάτων, η συμπεριφορά του συστήματος ονομάζεται Ζήνων αν περιλαμβάνει έναν άπειρο αριθμό διακριτών βημάτων σε ένα πεπερασμένο χρονικό διάστημα.