Viability of controllers for hybrid machines

In this paper, we study the control of composite hybrid machines (CHM) subject to configuration-based safety specifications. CHM are a class of hybrid systems modeled in modular fashion as the concurrent operation of elementary hybrid machines (EHM). We recall our algorithm presented previously (1997) for synthesis of minimally-interventive controllers that guarantee constraint satisfaction. The paper focuses on essential questions associated with viability of a synthesized controller as related to the possibility of Zenoness of the controlled system. A hybrid system is Zeno if it can undergo an unbounded number of transitions in a bounded length of time