Approximately bisimilar symbolic models for randomly switched stochastic systems
From MaRDI portal
Publication:2454178
DOI10.1016/j.sysconle.2014.04.003zbMath1288.93098OpenAlexW2150141562MaRDI QIDQ2454178
Majid Zamani, Alessandro Abate
Publication date: 13 June 2014
Published in: Systems \& Control Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.sysconle.2014.04.003
Symbolic computation and algebraic computation (68W30) Stochastic systems in control theory (general) (93E03)
Related Items (12)
Uncertain bang-bang control problem for multi-stage switched systems ⋮ Stochastic incremental \(H_\infty\) control for discrete-time switched systems with disturbance dependent noise ⋮ Compositional abstraction-based synthesis for networks of stochastic switched systems ⋮ Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach ⋮ Symbolic models for stochastic switched systems: A discretization and a discretization-free approach ⋮ 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 ⋮ Sample controllability of impulsive differential systems with random coefficients ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Switching in systems and control
- Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
- Bisimilar symbolic models for stochastic control systems without state-space discretization
- Stochastic hybrid systems for studying biochemical processes
- Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
- Verification and Control of Hybrid Systems
- Ergodic Control of Switching Diffusions
- On the synthesis of discrete controllers for timed systems
- A Smooth Converse Lyapunov Theorem for Robust Stability
- Approximations of Stochastic Hybrid Systems
- A Lyapunov approach to incremental stability properties
- Approximation Metrics for Discrete and Continuous Systems
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Simulation and the Monte Carlo Method
- Manufacturing systems with random breakdowns and deteriorating items
- Forward completeness, unboundedness observability, and their Lyapunov characterizations
This page was built for publication: Approximately bisimilar symbolic models for randomly switched stochastic systems
