Permissive controller synthesis for probabilistic systems
From MaRDI portal
Abstract: 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 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. 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.
Recommendations
- scientific article; zbMATH DE number 2163041
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations
- Compositional controller synthesis for stochastic games
- Maximally permissive controlled system synthesis for modal logic
- Maximally permissive controlled system synthesis for non-determinism and modal logic
Cited in
(10)- Collaborative models for autonomous systems controller synthesis
- Supervisor synthesis of POMDP via automata learning
- scientific article; zbMATH DE number 1820093 (Why is no real title available?)
- scientific article; zbMATH DE number 7559459 (Why is no real title available?)
- Maximally permissive controlled system synthesis for non-determinism and modal logic
- Maximally permissive controlled system synthesis for modal logic
- On tolerance of discrete systems with respect to transition perturbations
- Safe autonomy under perception uncertainty using chance-constrained temporal logic
- Runtime monitors for Markov decision processes
- Enforcing almost-sure reachability in POMDPs
This page was built for publication: Permissive controller synthesis for probabilistic systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2941765)
