Finite-step alternating approximately bi-similar symbolic model for Markov jump systems

DOI10.1016/J.SYSCONLE.2024.105760MaRDI QIDQ6569388zbMATH OpenFDO

Authors Yongzhuang Liu, Yang Song

Publication date 9 July 2024

Published in Systems \& Control Letters (Search for Journal in Brave)

zbMATH Keywords

switched systemsymbolic modelfinite-step alternating approximate bi-simulation relationfinite-time stochastic incremental stability

Mathematics Subject Classification ID

Nonlinear systems in control theory (93C10) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Stochastic stability in control theory (93E15) Finite-time stability (93D40)

Recommendations

• Finite-step approximately bi-similar symbolic model for switched systems
• Approximately bisimilar symbolic models for randomly switched stochastic systems
• Bisimilar symbolic models for stochastic control systems without state-space discretization
• Finite-time \(H_\infty\) control for discrete-time Markov jump systems with actuator saturation

Cites work

• 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
• Compositional abstraction-based synthesis for networks of stochastic switched systems
• Compositional construction of control barrier functions for continuous-time stochastic hybrid systems
• Compositional synthesis of finite abstractions for networks of systems: a small-gain approach
• Fault detection and isolation of discrete-time Markovian jump linear systems with application to a network of multi-agent systems having imperfect communication channels
• Feedback Refinement Relations for the Synthesis of Symbolic Controllers
• Finite-Time Sliding-Mode Control of Markovian Jump Cyber-Physical Systems Against Randomly Occurring Injection Attacks
• From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems
• Games for synthesis of controllers with partial observation.
• Optimal multirate sampling in symbolic models for incrementally stable switched systems
• Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
• Supervisory Control of a Class of Discrete Event Processes
• Switching in systems and control
• Symbolic Abstractions of Networked Control Systems
• Symbolic abstractions for nonlinear control systems via feedback refinement relation
• Symbolic models for nonlinear control systems: alternating approximate bisimulations
• Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
• Verification and Control of Hybrid Systems

Cited in

(1)

• Finite-step approximately bi-similar symbolic model for switched systems

This page was built for publication: Finite-step alternating approximately bi-similar symbolic model for Markov jump systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6569388)