Summary: Optimal Scheduling for Constant-Rate Multi-Mode Systems
Rajeev Alur
University of Pennsylvania,
Philadelphia, USA
alur@cis.upenn.edu
Ashutosh Trivedi
University of Pennsylvania,
Philadelphia, USA
ashut@cis.upenn.edu
Dominik Wojtczak
University of Liverpool,
Liverpool, UK
d.wojtczak@liv.ac.uk
ABSTRACT
Constant-rate multi-mode systems 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-
ables with mode-dependent constant rates. The schedulabil-
ity problem for such systems is to design a mode-switching
policy that maintains the state within a specified safety set.

Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania

Collections: Computer Technologies and Information Sciences