Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications
DOI10.1016/j.nahs.2023.101427arXiv2103.02226OpenAlexW3135557518MaRDI QIDQ6122791
Majid Zamani, Abolfazl Lavaei, Unnamed Author
Publication date: 1 March 2024
Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2103.02226
interconnected stochastic systemscontrol barrier certificates\(\omega\)-regular propertiesdeterministic Streett automatatemporal logic synthesis
Discrete-time control/observation systems (93C55) Synthesis problems (93B50) Stochastic systems in control theory (general) (93E03) Networked control (93B70)
Cites Work
- Unnamed Item
- Unnamed Item
- A game-based abstraction-refinement framework for Markov decision processes
- Compositional performance certification of interconnected systems using ADMM
- Semidefinite programming relaxations for semialgebraic problems
- Towards scalable synthesis of stochastic control systems
- Safety of stochastic systems: an analytic and computational approach
- Compositional construction of control barrier functions for continuous-time stochastic hybrid systems
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Barrier certificates for nonlinear model validation
- Control barrier functions for stochastic systems
- Networks of Dissipative Systems
- Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes
- Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems
- Verification and Control of Hybrid Systems
- Propositional dynamic logic of looping and converse is elementarily decidable
- Decidability of second-order theories and automata on infinite trees
- Pre- and Post-Processing Sum-of-Squares Programs in Practice
- Formal Synthesis of Stochastic Systems via Control Barrier Certificates
- Symbolic controller synthesis for Büchi specifications on stochastic systems
- Compositional construction of control barrier functions for interconnected control systems
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- Hybrid Systems: Computation and Control
- Satisfaction of Linear Temporal Logic Specifications Through Recurrence Tools for Hybrid Systems
- Learning safe neural network controllers with barrier certificates
- Temporal logic verification of stochastic systems using barrier certificates
This page was built for publication: Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications