A semi-algebraic approach for asymptotic stability analysis (Q1036644): Difference between revisions

@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718720
@@ Property / cites work: Q5718720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584086
@@ Property / cites work: Q5584086 / rank @@
+Normal rank
@@ Property / cites work @@
+What's decidable about hybrid automata?
@@ Property / cites work: What's decidable about hybrid automata? / rank @@
+Normal rank
@@ Property / cites work @@
+Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q5526189
@@ Property / cites work: Q5526189 / rank @@
+Normal rank
@@ Property / cites work @@
+Semidefinite programming relaxations for semialgebraic problems
+Normal rank
@@ Property / cites work @@
+Q3973334
@@ Property / cites work: Q3973334 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition
+Normal rank
@@ Property / cites work @@
+Stability analysis of biological systems with real solution classification
+Normal rank
@@ Property / cites work @@
+The behaviour of optimal Lyapunov functions
@@ Property / cites work: The behaviour of optimal Lyapunov functions / rank @@
+Normal rank
@@ Property / cites work @@
+On the estimation of asymptotic stability regions: State of the art and new proposals
+Normal rank
@@ Property / cites work @@
+Q4001818
@@ Property / cites work: Q4001818 / rank @@
+Normal rank
@@ Property / cites work @@
+Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Tightened reachability constraints for the verification of linear hybrid systems
+Normal rank