Symbolic controller synthesis for Büchi specifications on stochastic systems
DOI10.1145/3365365.3382214OpenAlexW2982084088WikidataQ131115987 ScholiaQ131115987MaRDI QIDQ5146376FDOQ5146376
Authors: Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani 
Publication date: 25 January 2021
Published in: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1910.12137
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)
Cited In (13)
- Robustly complete finite-state abstractions for verification of stochastic systems
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications
- Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications
- Poster Abstract: A Toolchain for Accelerated Symbolic Control
- SySCoRe: Synthesis via Stochastic Coupling Relations
- Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
- A direct symbolic algorithm for solving stochastic Rabin games
- A flexible toolchain for symbolic Rabin games under fair and stochastic uncertainties
- Data-driven verification and synthesis of stochastic systems via barrier certificates
- Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications
- Symbolic control for stochastic systems via finite parity games
This page was built for publication: Symbolic controller synthesis for Büchi specifications on stochastic systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5146376)
