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

DOI10.1016/J.AUTOMATICA.2015.03.004zbMATH Open1377.93156arXiv1407.2730OpenAlexW2094599695MaRDI QIDQ1689367FDOQ1689367

Alessandro Abate, Majid Zamani, Antoine Girard

Publication date: 12 January 2018

Published in: Automatica (Search for Journal in Brave)

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.

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

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

zbMATH Keywords

stochastic hybrid systemsfinite abstractionssymbolic modelsstochastic switched systemsformal synthesis

Mathematics Subject Classification ID

Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Stochastic systems in control theory (general) (93E03) Transformations (93B17)

Cites Work

• Probability Inequalities for Sums of Bounded Random Variables
• Switching in systems and control
• Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
• Title not available (Why is that?)
• A Lyapunov approach to incremental stability properties
• O-minimal hybrid systems.
• Verification and Control of Hybrid Systems
• Approximately bisimilar symbolic models for nonlinear control systems
• Stochastic hybrid systems. Theory and safety critical applications.
• Approximations of Stochastic Hybrid Systems
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• Approximation Metrics for Discrete and Continuous Systems
• Approximate Abstractions of Stochastic Hybrid Systems
• Hybrid Systems: Computation and Control
• 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
• On the synthesis of discrete controllers for timed systems
• Approximately bisimilar symbolic models for randomly switched stochastic systems
• Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
• Bisimilar symbolic models for stochastic control systems without state-space discretization

Cited In (20)

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

Uses Software

• CoSyma

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)