Abstraction based verification of stability of polyhedral switched systems (Q2178203): Difference between revisions

@@ Property / cites work @@
+Switching in systems and control
@@ Property / cites work: Switching in systems and control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results
+Normal rank
@@ Property / cites work @@
+Q3527077
@@ Property / cites work: Q3527077 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid dynamical systems
@@ Property / cites work: Hybrid dynamical systems / rank @@
+Normal rank
@@ Property / cites work @@
+Stability and Stabilization of Continuous‐Time Switched Linear Systems
+Normal rank
@@ Property / cites work @@
+Uniform Stability of Switched Linear Systems: Extensions of LaSalle's Invariance Principle
+Normal rank
@@ Property / cites work @@
+Common Polynomial Lyapunov Functions for Linear Switched Systems
+Normal rank
@@ Property / cites work @@
+Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition
+Normal rank
@@ Property / cites work @@
+Stabhyli
@@ Property / cites work: Stabhyli / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation-guided lyapunov analysis for hybrid dynamical systems
+Normal rank
@@ Property / cites work @@
+Automatic Abstraction Refinement for Timed Automata
+Normal rank
@@ Property / cites work @@
+Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Q4417924
@@ Property / cites work: Q4417924 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Counterexample Guided Abstraction Refinement for Stability Analysis
+Normal rank
@@ Property / cites work @@
+Hybridization methods for the analysis of nonlinear systems
+Normal rank
@@ Property / cites work @@
+On the decidability of stability of hybrid systems
+Normal rank
@@ Property / cites work @@
+On a routing problem
@@ Property / cites work: On a routing problem / rank @@
+Normal rank
@@ Property / cites work @@
+On finding the strongly connected components in a directed graph
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank