Schedulability of Bounded-Rate Multimode Systems
Rajeev Alur, Vojtěch Forejt, Salar Moarref, Ashutosh Trivedi · ACM Transactions on Embedded Computing Systems · 2017
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.