Symbolic control for stochastic systems via finite parity games

DOI10.1016/j.nahs.2023.101430arXiv2101.00834MaRDI QIDQ6122792

Anne-Kathrin Schmuck, Sadegh Soudjani, Kaushik Mallik, Rupak Majumdar

Publication date: 1 March 2024

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2101.00834

zbMATH Keywords

stochastic dynamical systemscontrolled Markov processes\(\omega\)-regular specificationscorrect-by-design controller synthesis

Mathematics Subject Classification ID

Computer science (68-XX) Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• A survey of stochastic \(\omega \)-regular games
• Quantitative model-checking of controlled discrete-time Markov processes
• Model predictive control with discrete actuators: theory and application
• Dynamic Bayesian networks for formal verification of structured stochastic processes
• Results on the propositional \(\mu\)-calculus
• The complexity of stochastic games
• Augmented finite transition systems as abstractions for control synthesis
• Automata, logics, and infinite games. A guide to current research
• Automated verification and synthesis of stochastic hybrid systems: a survey
• Abstraction-based synthesis for stochastic systems with omega-regular objectives
• Compositional construction of infinite abstractions for networks of stochastic control systems
• Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes
• Model checking of probabilistic and nondeterministic systems
• Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems
• Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
• Formal Verification and Synthesis for Discrete-Time Stochastic Systems
• Reachability Analysis of Nonlinear Differential-Algebraic Systems
• Regularization of bellman equations for infinite-horizon probabilistic properties
• Efficient finite abstraction of mixed monotone systems
• Verification and Control of Hybrid Systems
• Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness
• Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems
• On the synthesis of strategies in infinite games
• Higher-Order Approximations for Verification of Stochastic Hybrid Systems
• Termination of Probabilistic Concurrent Program
• Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems
• Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems
• Formal Synthesis of Stochastic Systems via Control Barrier Certificates
• Symbolic controller synthesis for Büchi specifications on stochastic systems
• Feedback Refinement Relations for the Synthesis of Symbolic Controllers
• Computer Science Logic
• Foundations of Software Science and Computation Structures
• The Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes
• Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games

This page was built for publication: Symbolic control for stochastic systems via finite parity games