Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
From MaRDI portal
(Redirected from Publication:1689367)
Abstract: Stochastic switched systems are a relevant class of stochastic hybrid systems with probabilistic evolution over a continuous domain and control-dependent discrete dynamics over a finite set of modes. In the past few years several different techniques have been developed to assist in the stability analysis of stochastic switched systems. However, more complex and challenging objectives related to the verification of and the controller synthesis for logic specifications have not been formally investigated for this class of systems as of yet. With logic specifications we mean properties expressed as formulae in linear temporal logic or as automata on infinite strings. This paper addresses these complex objectives by constructively deriving approximately equivalent (bisimilar) symbolic models of stochastic switched systems. More precisely, this paper provides two different symbolic abstraction techniques: one requires state space discretization, but the other one does not require any space discretization which can be potentially more efficient than the first one when dealing with higher dimensional stochastic switched systems. Both techniques provide finite symbolic models that are approximately bisimilar to stochastic switched systems under some stability assumptions on the concrete model. This allows formally synthesizing controllers (switching signals) that are valid for the concrete system over the finite symbolic model, by means of mature automata-theoretic techniques in the literature. The effectiveness of the results are illustrated by synthesizing switching signals enforcing logic specifications for two case studies including temperature control of a six-room building.
Recommendations
- Approximately bisimilar symbolic models for randomly switched stochastic systems
- Bisimilar symbolic models for stochastic control systems without state-space discretization
- Towards scalable synthesis of stochastic control systems
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Abstraction-based synthesis for stochastic systems with omega-regular objectives
Cites work
- scientific article; zbMATH DE number 51724 (Why is no real title available?)
- A Lyapunov approach to incremental stability properties
- Approximate Abstractions of Stochastic Hybrid Systems
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Approximately bisimilar symbolic models for nonlinear control systems
- Approximately bisimilar symbolic models for randomly switched stochastic systems
- Approximation Metrics for Discrete and Continuous Systems
- Approximations of Stochastic Hybrid Systems
- Bisimilar symbolic models for stochastic control systems without state-space discretization
- Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
- Hybrid Systems: Computation and Control
- O-minimal hybrid systems.
- On the synthesis of discrete controllers for timed systems
- Probability Inequalities for Sums of Bounded Random Variables
- Stability analysis of deterministic and stochastic switched systems via a comparison principle and multiple Lyapunov functions
- Stochastic hybrid systems. Theory and safety critical applications.
- Switching in systems and control
- Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
- Symbolic models for nonlinear control systems: alternating approximate bisimulations
- Verification and Control of Hybrid Systems
Cited in
(22)- Compositional abstraction-based synthesis for networks of stochastic switched systems
- Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach
- Finite-step approximately bi-similar symbolic model for switched systems
- Towards scalable synthesis of stochastic control systems
- Finite-step alternating approximately bi-similar symbolic model for Markov jump systems
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
- Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method
- Approximately bisimilar symbolic model for switched systems with unstable subsystems
- Stochastic incremental \(H_\infty\) control for discrete-time switched systems with disturbance dependent noise
- Optimal multirate sampling in symbolic models for incrementally stable switched systems
- Low-complexity quantized switching controllers using approximate bisimulation
- Approximately bisimilar symbolic models for randomly switched stochastic systems
- Efficient output solution for nonlinear stochastic optimal control problem with model-reality differences
- Incremental \(H_\infty\) performance for a class of stochastic switched nonlinear systems
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Incremental stability of stochastic time‐varying impulsive and switching systems
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
- Bisimilar symbolic models for stochastic control systems without state-space discretization
- Compositional construction of infinite abstractions for networks of stochastic control systems
- Abstractions of varying decentralization degree for reachability of coupled multiagent systems
- Symbolic models for retarded jump-diffusion systems
This page was built for publication: Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1689367)
