Permissive Controller Synthesis for Probabilistic Systems. (2014)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/14:00080050 |
|---|---|
| Název v anglickém jazyce | Permissive Controller Synthesis for Probabilistic Systems. |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2014 |
| 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 | 5 |
| Počet domácích tvůrců | 1 |
| Výčet všech uvedených jednotlivých tvůrců | Klaus Draeger (státní příslušnost: DE - Spolková republika Německo) Vojtěch Forejt (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2477912) Marta Kwiatkowska (státní příslušnost: GB - Spojené království Velké Británie a Severního Irska) David Parker (státní příslušnost: GB - Spojené království Velké Británie a Severního Irska) Mateusz Ujma (státní příslušnost: PL - Polská republika) |
| Popis výsledku v anglickém jazyce | We propose novel controller synthesis techniques for probabilistic systems modelled using stochastic two-player games: one player acts as a controller, the second represents its environment, and probability is used to capture uncertainty arising due to,for example, unreliable sensors or faulty system components. Our aim is to generate robust controllers that are resilient to unexpected system changes at runtime, and flexible enough to be adapted if additional constraints need to be imposed. We developa permissive controller synthesis framework, which generates multi-strategies for the controller, offering a choice of control actions to take at each time step. We formalise the notion of permissiveness using penalties, which are incurred each time a possible control action is blocked by a multi-strategy. Permissive controller synthesis aims to generate a multi-strategy that minimises these penalties, whilst guaranteeing the satisfaction of a specified system property. |
| Klíčová slova oddělená středníkem | controller synthesis; stochastic games; optimisation |
| Stránka www, na které se nachází výsledek | - |
| DOI výsledku | 10.1007/978-3-642-54862-8_44 |
Údaje o výsledku v závislosti na druhu výsledku
| Název sborníku | Tools and Algorithms for the Construction and Analysis of Systems |
|---|---|
| ISBN | 9783642548611 |
| ISSN | 0302-9743 |
| Počet stran výsledku | 16 |
| Strana od-do | 531-546 |
| Název nakladatele | Springer Berlin Heidelberg |
| Místo vydání | Berlin |
| Místo konání akce | Grenoble |
| Datum konání akce | 05.04.2014 |
| Typ akce podle státní příslušnosti účastníků | WRD - Celosvětová |
| Kód UT WoS článku podle Web of Science | - |
Ostatní informace o výsledku
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
|---|---|
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2015 |
| Specifikace | RIV/00216224:14330/14:00080050!RIV15-MSM-14330___ |
| Datum poslední aktualizace výsledku | 29.05.2015 |
| Kontrolní číslo | 152395623 |
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Podpora / návaznosti | Institucionální podpora na rozvoj výzkumné organizace |
|---|