| Identifikační kód | RIV/00216224:14330/13:00072857 |
|---|
| Název v anglickém jazyce | Safe schedulability of bounded-rate multi-mode systems |
|---|
| Druh | D - Článek ve sborníku |
|---|
| Jazyk | eng - angličtina |
|---|
| Obor - skupina | I - Informatika |
|---|
| Obor | IN - Informatika |
|---|
| Rok uplatnění | 2013 |
|---|
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
|---|
| Počet výskytů výsledku | 1 |
|---|
| Počet tvůrců celkem | 4 |
|---|
| Počet domácích tvůrců | 1 |
|---|
| Výčet všech uvedených jednotlivých tvůrců | Rajeev Alur (státní příslušnost: US - Spojené státy americké)
Vojtěch Forejt (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2477912)
Salar Moarref (státní příslušnost: IR - Íránská islámská republika)
Ashutosh Trivedi (státní příslušnost: IN - Indická republika) |
|---|
| Popis výsledku v anglickém jazyce | Bounded-rate multi-mode systems (BMS) 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 variables with mode-dependent rates that can vary within given bounded sets. The schedulability problem for BMS is defined as an infinite-round game between two players? the scheduler and the environment?where in each round the scheduler proposes a time and a mode while the environment chooses an allowable rate for that mode, and the state of the system changes linearly in the direction of the rate vector. The goal of the scheduler is to keep the state of the system within a pre-specified safe set using a non-Zeno schedule, while the goal of the environment is the opposite. Greenscheduling under uncertainty is a paradigmatic example of BMS where a winning strategy of the scheduler corresponds to a robust energy-optimal policy. |
|---|
| Klíčová slova oddělená středníkem | hybrid systems; scheduling |
|---|
| Stránka www, na které se nachází výsledek | - |
|---|
| DOI výsledku | 10.1145/2461328.2461366 |
|---|