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%2F15%3A00087146" target="_blank" >RIV/00216224:14330/15:00087146 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.2168/LMCS-11(2:16)2015" target="_blank" >http://dx.doi.org/10.2168/LMCS-11(2:16)2015</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.2168/LMCS-11(2:16)2015" target="_blank" >10.2168/LMCS-11(2:16)2015</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 permissivity using penalties, which are incurred each time a possible control action is disallowed 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
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2015
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
Name of the periodical
Logical Methods in Computer Science
ISSN
1860-5974
e-ISSN
—
Volume of the periodical
11
Issue of the periodical within the volume
2
Country of publishing house
DE - GERMANY
Number of pages
34
Pages from-to
1-34
UT code for WoS article
000359470700016
EID of the result in the Scopus database
—