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

zbMATH Keywords

small-gain conditionsformal synthesisfinite Markov decision processescompositional abstraction-based synthesiscontinuous-time stochastic hybrid systems

Mathematics Subject Classification ID

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)

Reliability analysis of a class of stochastically excited nonlinear Markovian jump systems ⋮ Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations

Uses Software

• Sostools
• SCOTS
• FAUST2
• StocHy

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