Detailed Information on Publication Record
2014
Permissive Controller Synthesis for Probabilistic Systems.
DRAEGER, Klaus, Vojtěch FOREJT, Marta KWIATKOWSKA, David PARKER, Mateusz UJMA et. al.Basic information
Original name
Permissive Controller Synthesis for Probabilistic Systems.
Authors
DRAEGER, Klaus (276 Germany), Vojtěch FOREJT (203 Czech Republic, guarantor, belonging to the institution), Marta KWIATKOWSKA (826 United Kingdom of Great Britain and Northern Ireland), David PARKER (826 United Kingdom of Great Britain and Northern Ireland) and Mateusz UJMA (616 Poland)
Edition
Berlin, Tools and Algorithms for the Construction and Analysis of Systems, p. 531-546, 16 pp. 2014
Publisher
Springer Berlin Heidelberg
Other information
Language
English
Type of outcome
Stať ve sborníku
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
Germany
Confidentiality degree
není předmětem státního či obchodního tajemství
Publication form
printed version "print"
Impact factor
Impact factor: 0.402 in 2005
RIV identification code
RIV/00216224:14330/14:00080050
Organization unit
Faculty of Informatics
ISBN
978-3-642-54861-1
ISSN
Keywords in English
controller synthesis; stochastic games; optimisation
Změněno: 27/4/2015 05:04, RNDr. Pavel Šmerk, Ph.D.
Abstract
V originále
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 develop a 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. We establish several key results about the optimality of multi-strategies and the complexity of synthesising them. Then, we develop methods to perform permissive controller synthesis using mixed integer linear programming and illustrate their effectiveness on a selection of case studies.
Links
MUNI/33/IP1/2014, interní kód MU |
|