Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
DOI10.1016/j.ejcon.2020.04.001zbMath1455.93190OpenAlexW3023718358MaRDI QIDQ2220062
Majid Zamani, Sadegh Soudjani, Ameneh Nejati
Publication date: 21 January 2021
Published in: European Journal of Control (Search for Journal in Brave)
Full work available at URL: https://scholar.colorado.edu/downloads/k643b227c
small-gain conditionsformal synthesisfinite Markov decision processescompositional abstraction-based synthesiscontinuous-time stochastic hybrid systems
Nonlinear systems in control theory (93C10) Discrete-time control/observation systems (93C55) Stochastic systems in control theory (general) (93E03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (4)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Dynamic Bayesian networks for formal verification of structured stochastic processes
- Applied stochastic control of jump diffusions.
- Monotone inequalities, dynamical systems, and paths in the positive orthant of Euclidean \(n\)-space
- Approximately bisimilar symbolic models for nonlinear control systems
- Hierarchical control system design using approximate simulation
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
- Compositional abstraction-based synthesis for networks of stochastic switched systems
- Compositional construction of infinite abstractions for networks of stochastic control systems
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Approximately bisimilar symbolic models for randomly switched stochastic systems
- An ISS small gain theorem for general networks
- Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes
- Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
- Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
- Lyapunov-Based Small-Gain Theorems for Hybrid Systems
- Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
- Control design for specifications on stochastic hybrid systems
- SCOTS
- Small Gain Theorems for Large Scale Systems and Construction of ISS Lyapunov Functions
- From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes
- Approximations of Stochastic Hybrid Systems
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- StocHy - automated verification and synthesis of stochastic processes
- Reachability Computation for Switching Diffusions
- Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement
- Approximations of Stochastic Hybrid Systems: A Compositional Approach
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
This page was built for publication: Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems