Symbolic models for stochastic switched systems: A discretization and a discretization-free approach

DOI10.1016/j.automatica.2015.03.004zbMath1377.93156arXiv1407.2730OpenAlexW2094599695MaRDI QIDQ1689367

Alessandro Abate, Majid Zamani, Antoine Girard

Publication date: 12 January 2018

Published in: Automatica (Search for Journal in Brave)

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

zbMATH Keywords

stochastic hybrid systemsfinite abstractionssymbolic modelsstochastic switched systemsformal synthesis

Mathematics Subject Classification ID

Transformations (93B17) Synthesis problems (93B50) 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 (16)

Approximately bisimilar symbolic model for switched systems with unstable subsystems ⋮ Efficient output solution for nonlinear stochastic optimal control problem with model-reality differences ⋮ Stochastic incremental \(H_\infty\) control for discrete-time switched systems with disturbance dependent noise ⋮ Compositional abstraction-based synthesis for networks of stochastic switched systems ⋮ Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method ⋮ Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach ⋮ Incremental stability of stochastic time‐varying impulsive and switching systems ⋮ Towards scalable synthesis of stochastic control systems ⋮ Optimal multirate sampling in symbolic models for incrementally stable switched systems ⋮ Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems ⋮ Compositional construction of infinite abstractions for networks of stochastic control systems ⋮ Symbolic models for retarded jump-diffusion systems ⋮ Incremental \(H_\infty\) performance for a class of stochastic switched nonlinear systems ⋮ Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions ⋮ Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey

Uses Software

• CoSyma

Cites Work

• Unnamed Item
• Approximately bisimilar symbolic models for nonlinear control systems
• Switching in systems and control
• O-minimal hybrid systems.
• Approximately bisimilar symbolic models for randomly switched stochastic systems
• Stochastic hybrid systems. Theory and safety critical applications.
• Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
• Bisimilar symbolic models for stochastic control systems without state-space discretization
• Stability analysis of deterministic and stochastic switched systems via a comparison principle and multiple Lyapunov functions
• Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
• Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
• Verification and Control of Hybrid Systems
• On the synthesis of discrete controllers for timed systems
• Approximations of Stochastic Hybrid Systems
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• A Lyapunov approach to incremental stability properties
• Approximation Metrics for Discrete and Continuous Systems
• Probability Inequalities for Sums of Bounded Random Variables
• Approximate Abstractions of Stochastic Hybrid Systems
• Hybrid Systems: Computation and Control

This page was built for publication: Symbolic models for stochastic switched systems: A discretization and a discretization-free approach