Symbolic controller synthesis for Büchi specifications on stochastic systems

DOI10.1145/3365365.3382214OpenAlexW2982084088WikidataQ131115987 ScholiaQ131115987MaRDI QIDQ5146376

Sadegh Soudjani, Rupak Majumdar, Kaushik Mallik

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

Mathematics Subject Classification ID

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)

Related Items (7)

Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications ⋮ Symbolic control for stochastic systems via finite parity games ⋮ SySCoRe: Synthesis via Stochastic Coupling Relations ⋮ Poster Abstract: A Toolchain for Accelerated Symbolic Control ⋮ Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ Robustly complete finite-state abstractions for verification of stochastic systems

This page was built for publication: Symbolic controller synthesis for Büchi specifications on stochastic systems