Schedulability of Bounded-Rate Multimode Systems
Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi.
ACM Trans. Embed. Comput. Syst. 16 ( 3 ) : 85:1-85:27 (2017)
Abstract
Bounded-rate multimode systems are hybrid systems that switch freely among a finite set of modes, and whose dynamics are specified by a finite number of real-valued variables with mode-dependent rates that vary within given bounded sets. The scheduler repeatedly proposes a time and a mode, while the environment chooses an allowable rate for that mode; the state of the system changes linearly in the direction of the rate. The scheduler aims to keep the state within a safe set, while the environment aims to leave it. We study the problem of existence of a winning scheduler strategy and associated complexity questions.