Zenoness

Zenoness, which refers to the situation that the system has infinite many “mode switches” in finite time, is a well-known phenomenon arising in multi-mode ( hybrid) systems. In general, there are a number of smooth dynamics in a hybrid system.

A player is responsible for the Zenoness of an execution if she is "elected" infinitely many times for her choosing the smallest delay. A coalition is responsible for Zenoness if at least one of its member is.

As it has been previously discussed, this may be complicated by the fact that these solutions may exhibit complex phenomena such as non-continuability of solutions or deadlock, beating or livelock, and Zenoness.