Symbolic controller synthesis for Büchi specifications on stochastic systems

DOI10.1145/3365365.3382214MaRDI QIDQ5146376zbMATH OpenOpenAlexWikidataFDO

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

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)

Cited in

(15)

• 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
• Automated verification and synthesis of stochastic hybrid systems: a survey
• Robustly complete finite-state abstractions for verification of stochastic systems
• Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications
• Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications
• 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
• 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
• SySCcoRe 2.0: toolset for formal control synthesis of continuous-state stochastic systems and temporal logic specifications
• Average reward reinforcement learning for omega-regular and mean-payoff objectives

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)