Finite-step alternating approximately bi-similar symbolic model for Markov jump systems
DOI10.1016/J.SYSCONLE.2024.105760zbMATH Open1545.9368MaRDI QIDQ6569388FDOQ6569388
Authors: Yongzhuang Liu, Yang Song 
Publication date: 9 July 2024
Published in: Systems \& Control Letters (Search for Journal in Brave)
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
switched systemsymbolic modelfinite-step alternating approximate bi-simulation relationfinite-time stochastic incremental stability
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)
Cites Work
- Switching in systems and control
- Verification and Control of Hybrid Systems
- Approximately bisimilar symbolic models for nonlinear control systems
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Supervisory Control of a Class of Discrete Event Processes
- Symbolic models for nonlinear control systems: alternating approximate bisimulations
- Games for synthesis of controllers with partial observation.
- 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
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
- Approximately bisimilar symbolic models for randomly switched stochastic systems
- Optimal multirate sampling in symbolic models for incrementally stable switched systems
- Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
- Finite-Time Sliding-Mode Control of Markovian Jump Cyber-Physical Systems Against Randomly Occurring Injection Attacks
- Compositional abstraction-based synthesis for networks of stochastic switched systems
- Compositional synthesis of finite abstractions for networks of systems: a small-gain approach
- Compositional construction of control barrier functions for continuous-time stochastic hybrid systems
- From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems
- Symbolic Abstractions of Networked Control Systems
- Symbolic abstractions for nonlinear control systems via feedback refinement relation
Cited In (1)
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)
