Chapter 9 Control of Rate-Bounded Hybrid Systems with Liveness Constraints
Michael A Heymann, Feng Lin, George E. Meyer · 2001
Liveness in hybrid systems is defined as the ability of the system to complete a specified task under all operating conditions and for all possible runs. Liveness is classified in the present chapter into fixed time, bounded-time, and finite-time liveness. We present an algorithm for synthesis of minimally-interventive controllers that achieve liveness in rate bounded hybrid systems.