SySCoRe: Synthesis via Stochastic Coupling Relations
DOI10.1145/3575870.3587123arXiv2302.12294OpenAlexW4375852219MaRDI QIDQ6202092
Unnamed Author, Birgit C. van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Publication date: 21 February 2024
Published in: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2302.12294
dynamic programmingstochastic systemsapproximate simulation relationtemporal logic controlcoupling relations
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Formal methods for discrete-time dynamical systems
- Automated verification and synthesis of stochastic hybrid systems: a survey
- State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings
- Similarity quantification for linear stochastic systems: a coupling compensator approach
- \textsf{AMYTISS}: parallelized automated controller synthesis for large-scale stochastic systems
- Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes
- ProbReach
- SCOTS
- Verification and Control of Hybrid Systems
- On the numerical solution of the discrete-time algebraic Riccati equation
- Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems
- Formal Synthesis of Stochastic Systems via Control Barrier Certificates
- Symbolic controller synthesis for Büchi specifications on stochastic systems
- SReachTools
- StocHy - automated verification and synthesis of stochastic processes
- Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement
- Construction of Equivalent Stochastic Differential Equation Models
- Model checking of safety properties
This page was built for publication: SySCoRe: Synthesis via Stochastic Coupling Relations
