1 paper
Rajeev Alur, Vojtech Forejt, Salar Moarref +1
Bounded-rate multi-mode systems (BMMS) are hybrid systems that can switch freely among a finite set of modes, and whose dynamics is specified by a finite number of real-valued vari…