Schedulability of bounded-rate multi-mode systems
BMMS are hybrid systems that 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 vary within given bounded sets. The scheduler repeatedly proposes a time and a mode while the environment chooses an allo...
| Päätekijät: | , , , |
|---|---|
| Aineistotyyppi: | Journal article |
| Julkaistu: |
Association for Computing Machinery
2017
|