Approximately bisimilar symbolic model for switched systems with unstable subsystems
From MaRDI portal
Publication:2148459
Recommendations
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Approximately bisimilar symbolic models for nonlinear control systems
- Optimal multirate sampling in symbolic models for incrementally stable switched systems
- Symbolic models for nonlinear control systems: alternating approximate bisimulations
Cites work
- A Lyapunov approach to incremental stability properties
- A limit inferior ‐dependent average dwell time approach for stability analysis of switched systems
- An Approximate Simulation Approach to Symbolic Control
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Approximately bisimilar symbolic models for nonlinear control systems
- Approximation Metrics for Discrete and Continuous Systems
- Asymptotic Stability Analysis of Discrete-Time Switched Cascade Nonlinear Systems With Delays
- Design of Symbolic Controllers for Networked Control Systems
- Exponential stability of switched nonlinear time-varying systems with mixed delays: comparison principle
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers
- Forward completeness, unboundedness observability, and their Lyapunov characterizations
- Games for synthesis of controllers with partial observation.
- New Results on Stability of Slowly Switched Systems: A Multiple Discontinuous Lyapunov Function Approach
- Optimal multirate sampling in symbolic models for incrementally stable switched systems
- Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
- Stability and Stabilization of Continuous‐Time Switched Linear Systems
- Stability of asynchronous switched systems with sequence-based average dwell time approaches
- Stability of mode-dependent linear switched singular systems with stable and unstable subsystems
- Stabilization of switched continuous-time systems with all modes unstable via dwell time switching
- Symbolic Abstractions of Networked Control Systems
- Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- Symbolic models for nonlinear control systems affected by disturbances
- Symbolic models for nonlinear control systems: alternating approximate bisimulations
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
- Verification and Control of Hybrid Systems
Cited in
(8)- Finite-step approximately bi-similar symbolic model for switched systems
- Approximately bisimilar symbolic models for nonlinear control systems
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Low-complexity quantized switching controllers using approximate bisimulation
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Approximately bisimilar symbolic models for randomly switched stochastic systems
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Optimal multirate sampling in symbolic models for incrementally stable switched systems
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)
