Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations
DOI10.1016/j.automatica.2022.110696zbMath1505.93257arXiv2104.11803OpenAlexW4308984347MaRDI QIDQ2103672
Marco Caccamo, Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani
Publication date: 9 December 2022
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2104.11803
stochastic gamespolicy refinementapproximate probabilistic relationautomata-based controller synthesisfinite abstraction
Formal languages and automata (68Q45) Discrete-time control/observation systems (93C55) Synthesis problems (93B50) Stochastic games, stochastic differential games (91A15) Stochastic systems in control theory (general) (93E03)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Stochastic tube MPC with state estimation
- Control synthesis for stochastic systems given automata specifications defined by stochastic sets
- Infinite horizon linear-quadratic Stackelberg games for discrete-time stochastic systems
- A game-based abstraction-refinement framework for Markov decision processes
- Approximate model checking of stochastic hybrid systems
- Hierarchical control system design using approximate simulation
- Sequential Stackelberg equilibria in two-person games
- Stochastic optimal control. The discrete time case
- Compositional strategy synthesis for stochastic games with multiple objectives
- Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Compositional abstraction-based synthesis for networks of stochastic switched systems
- Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
- Stochastic games with lexicographic reachability-safety objectives
- \textsf{AMYTISS}: parallelized automated controller synthesis for large-scale stochastic systems
- Compositional construction of infinite abstractions for networks of stochastic control systems
- Qualitative analysis of concurrent mean-payoff games
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Observer design for systems with multivariable monotone nonlinearities
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems
- Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
- Control design for specifications on stochastic hybrid systems
- Game-Theoretic Methods for Robustness, Security, and Resilience of Cyberphysical Control Systems: Games-in-Games Principle for Optimal Cross-Layer Resilient Control Systems
- Minimax Control of Discrete-Time Stochastic Systems
- SDPT3 — A Matlab software package for semidefinite programming, Version 1.3
- Observer-based control of systems with slope-restricted nonlinearities
- Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice (Invited Talk)
- Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach
- Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives
- Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems
- Monomial Strategies for Concurrent Reachability Games and Other Stochastic Games
- Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement
- Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes
- Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
- Model checking of safety properties
This page was built for publication: Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations