Permissive Controller Synthesis for Probabilistic Systems.
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F14%3A00080050" target="_blank" >RIV/00216224:14330/14:00080050 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-642-54862-8_44" target="_blank" >http://dx.doi.org/10.1007/978-3-642-54862-8_44</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-642-54862-8_44" target="_blank" >10.1007/978-3-642-54862-8_44</a>
Alternative languages
Result language
angličtina
Original language name
Permissive Controller Synthesis for Probabilistic Systems.
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Tools and Algorithms for the Construction and Analysis of Systems
ISBN
9783642548611
ISSN
0302-9743
e-ISSN
—
Number of pages
16
Pages from-to
531-546
Publisher name
Springer Berlin Heidelberg
Place of publication
Berlin
Event location
Grenoble
Event date
Apr 5, 2014
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—