Approximately bisimilar symbolic model for switched systems with unstable subsystems
From MaRDI portal
Publication:2148459
DOI10.1016/j.jfranklin.2022.04.013zbMath1491.93061OpenAlexW4224299845MaRDI QIDQ2148459
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) Lyapunov and storage functions (93D30) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Uses Software
Cites Work
- Stabilization of switched continuous-time systems with all modes unstable via dwell time switching
- Approximately bisimilar symbolic models for nonlinear control systems
- Games for synthesis of controllers with partial observation.
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
- Optimal multirate sampling in symbolic models for incrementally stable switched systems
- Stability of mode-dependent linear switched singular systems with stable and unstable subsystems
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Exponential stability of switched nonlinear time-varying systems with mixed delays: comparison principle
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
- Stability of asynchronous switched systems with sequence-based average dwell time approaches
- Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
- Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
- Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
- Stability and Stabilization of Continuous‐Time Switched Linear Systems
- Verification and Control of Hybrid Systems
- Design of Symbolic Controllers for Networked Control Systems
- Symbolic Abstractions of Networked Control Systems
- Symbolic models for nonlinear control systems affected by disturbances
- An Approximate Simulation Approach to Symbolic Control
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Asymptotic Stability Analysis of Discrete-Time Switched Cascade Nonlinear Systems With Delays
- A Lyapunov approach to incremental stability properties
- Approximation Metrics for Discrete and Continuous Systems
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- New Results on Stability of Slowly Switched Systems: A Multiple Discontinuous Lyapunov Function Approach
- Forward completeness, unboundedness observability, and their Lyapunov characterizations
- A limit inferior ‐dependent average dwell time approach for stability analysis of switched systems
This page was built for publication: Approximately bisimilar symbolic model for switched systems with unstable subsystems
