Formal Synthesis of Stochastic Systems via Control Barrier Certificates

DOI10.1109/TAC.2020.3013916zbMath1467.93293arXiv1905.04585OpenAlexW2944522148MaRDI QIDQ5002121

Sadegh Soudjani, Pushpak Jagtap, Majid Zamani

Publication date: 26 July 2021

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Stochastic systems in control theory (general) (93E03) Attainable sets, reachability (93B03) Temporal logic (03B44)

Related Items (9)

Safety verification for regime-switching jump diffusions via barrier certificates ⋮ Formal safety verification of unknown continuous-time systems ⋮ Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications ⋮ Symbolic control for stochastic systems via finite parity games ⋮ Model predictive monitoring of dynamical systems for signal temporal logic specifications ⋮ SySCoRe: Synthesis via Stochastic Coupling Relations ⋮ Compositional construction of control barrier functions for continuous-time stochastic hybrid systems ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming

This page was built for publication: Formal Synthesis of Stochastic Systems via Control Barrier Certificates