Approximately bisimilar symbolic model for switched systems with unstable subsystems (Q2148459): Difference between revisions

@@ Property / cites work @@
+Exponential stability of switched nonlinear time-varying systems with mixed delays: comparison principle
+Normal rank
@@ Property / cites work @@
+A limit inferior ‐dependent average dwell time approach for stability analysis of switched systems
+Normal rank
@@ Property / cites work @@
+Asymptotic Stability Analysis of Discrete-Time Switched Cascade Nonlinear Systems With Delays
+Normal rank
@@ Property / cites work @@
+Stability and Stabilization of Continuous‐Time Switched Linear Systems
+Normal rank
@@ Property / cites work @@
+Stability of asynchronous switched systems with sequence-based average dwell time approaches
+Normal rank
@@ Property / cites work @@
+New Results on Stability of Slowly Switched Systems: A Multiple Discontinuous Lyapunov Function Approach
+Normal rank
@@ Property / cites work @@
+Stability of mode-dependent linear switched singular systems with stable and unstable subsystems
+Normal rank
@@ Property / cites work @@
+Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
+Normal rank
@@ Property / cites work @@
+Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
+Normal rank
@@ Property / cites work @@
+Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
+Normal rank
@@ Property / cites work @@
+Verification and Control of Hybrid Systems
@@ Property / cites work: Verification and Control of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Games for synthesis of controllers with partial observation.
+Normal rank
@@ Property / cites work @@
+Approximation Metrics for Discrete and Continuous Systems
+Normal rank
@@ Property / cites work @@
+Approximately bisimilar symbolic models for nonlinear control systems
+Normal rank
@@ Property / cites work @@
+An Approximate Simulation Approach to Symbolic Control
+Normal rank
@@ Property / cites work @@
+Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
+Normal rank
@@ Property / cites work @@
+Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
+Normal rank
@@ Property / cites work @@
+Feedback Refinement Relations for the Synthesis of Symbolic Controllers
+Normal rank
@@ Property / cites work @@
+Symbolic models for nonlinear time-delay systems using approximate bisimulations
+Normal rank
@@ Property / cites work @@
+Symbolic models for nonlinear control systems affected by disturbances
+Normal rank
@@ Property / cites work @@
+Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
+Normal rank
@@ Property / cites work @@
+Optimal multirate sampling in symbolic models for incrementally stable switched systems
+Normal rank
@@ Property / cites work @@
+Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
+Normal rank
@@ Property / cites work @@
+Design of Symbolic Controllers for Networked Control Systems
+Normal rank
@@ Property / cites work @@
+Symbolic Abstractions of Networked Control Systems
+Normal rank
@@ Property / cites work @@
+Forward completeness, unboundedness observability, and their Lyapunov characterizations
+Normal rank
@@ Property / cites work @@
+A Lyapunov approach to incremental stability properties
+Normal rank
@@ Property / cites work @@
+Stabilization of switched continuous-time systems with all modes unstable via dwell time switching
+Normal rank