Schedulability of Bounded-Rate Multimode Systems

Alur, R; Forejt, V; Moarref, S; Trivedi, A

Alur, R (reprint author), Univ Penn, Dept Comp & Informat Sci, 3330 Walnut St, Philadelphia, PA 19104 USA.

ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2017; 16 (3):

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 ......

Full Text Link