Approximately bisimilar symbolic model for switched systems with unstable subsystems
DOI10.1016/J.JFRANKLIN.2022.04.013zbMATH Open1491.93061OpenAlexW4224299845MaRDI QIDQ2148459FDOQ2148459
Yongzhuang Liu, Wenshuai Gao, Yang Song
Publication date: 24 June 2022
Published in: Journal of the Franklin Institute (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jfranklin.2022.04.013
Nonlinear systems in control theory (93C10) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Lyapunov and storage functions (93D30)
Cites Work
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- A Lyapunov approach to incremental stability properties
- Stability and Stabilization of Continuous‐Time Switched Linear Systems
- Verification and Control of Hybrid Systems
- Forward completeness, unboundedness observability, and their Lyapunov characterizations
- Approximately bisimilar symbolic models for nonlinear control systems
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Approximation Metrics for Discrete and Continuous Systems
- Stabilization of switched continuous-time systems with all modes unstable via dwell time switching
- Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- Games for synthesis of controllers with partial observation.
- Exponential stability of switched nonlinear time-varying systems with mixed delays: comparison principle
- An Approximate Simulation Approach to Symbolic Control
- Symbolic models for nonlinear control systems affected by disturbances
- Asymptotic Stability Analysis of Discrete-Time Switched Cascade Nonlinear Systems With Delays
- New Results on Stability of Slowly Switched Systems: A Multiple Discontinuous Lyapunov Function Approach
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
- Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
- Optimal multirate sampling in symbolic models for incrementally stable switched systems
- Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
- Stability of mode-dependent linear switched singular systems with stable and unstable subsystems
- Design of Symbolic Controllers for Networked Control Systems
- Stability of asynchronous switched systems with sequence-based average dwell time approaches
- A limit inferior ‐dependent average dwell time approach for stability analysis of switched systems
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
- Symbolic Abstractions of Networked Control Systems
Cited In (4)
- Finite-step approximately bi-similar symbolic model for switched systems
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Approximately bisimilar symbolic models for randomly switched stochastic systems
Uses Software
This page was built for publication: Approximately bisimilar symbolic model for switched systems with unstable subsystems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2148459)
