Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Optimal Scheduling for Constant-Rate Multi-Mode Systems Rajeev Alur
 

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