Discovering polynomial Lyapunov functions for continuous dynamical systems (Q2437283): Difference between revisions

@@ Property / author @@
+Zhi Ming Zheng
@@ Property / author: Zhi Ming Zheng / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RegularChains
@@ Property / describes a project that uses: RegularChains / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HSolver
@@ Property / describes a project that uses: HSolver / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DISCOVERER
@@ Property / describes a project that uses: DISCOVERER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QEPCAD
@@ Property / describes a project that uses: QEPCAD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+REDLOG
@@ Property / describes a project that uses: REDLOG / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RSOLVER
@@ Property / describes a project that uses: RSOLVER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+YALMIP
@@ Property / describes a project that uses: YALMIP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Benchmarks
@@ Property / describes a project that uses: Benchmarks / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PENBMI
@@ Property / describes a project that uses: PENBMI / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ConstructibleSetTools
@@ Property / describes a project that uses: ConstructibleSetTools / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ParametricSystemTools
@@ Property / describes a project that uses: ParametricSystemTools / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jsc.2013.06.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2066116184
@@ Property / OpenAlex ID: W2066116184 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
+Normal rank
@@ Property / cites work @@
+Improved projection for cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Constraint-Based Approach for Analysis of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Q5584086
@@ Property / cites work: Q5584086 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing stability by quantifier elimination
@@ Property / cites work: Testing stability by quantifier elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
+Normal rank
@@ Property / cites work @@
+Q2771497
@@ Property / cites work: Q2771497 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3931081
@@ Property / cites work: Q3931081 / rank @@
+Normal rank
@@ Property / cites work @@
+Semidefinite programming relaxations for semialgebraic problems
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / 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 @@
+Q4496287
@@ Property / cites work: Q4496287 / rank @@
+Normal rank
@@ Property / cites work @@
+A semi-algebraic approach for asymptotic stability analysis
+Normal rank
@@ Property / cites work @@
+Condition number based complexity estimate for solving polynomial systems
+Normal rank
@@ Property / cites work @@
+Computing a Basin of Attraction to a Target Region by Solving Bilinear Semi-Definite Problems
+Normal rank
@@ Property / cites work @@
+Algebraic analysis on asymptotic stability of switched hybrid systems
+Normal rank
@@ Property / cites work @@
+Algebraic analysis on asymptotic stability of continuous dynamical systems
+Normal rank
@@ Property / cites work @@
+Tightened reachability constraints for the verification of linear hybrid systems
+Normal rank
@@ Property / cites work @@
+Condition number based complexity estimate for computing local extrema
+Normal rank
@@ Property / cites work @@
+Solving systems of strict polynomial inequalities
@@ Property / cites work: Solving systems of strict polynomial inequalities / rank @@
+Normal rank
@@ Property / cites work @@
+Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology
+Normal rank
@@ Property / cites work @@
+Stability Region Analysis Using Polynomial and Composite Polynomial Lyapunov Functions and Sum-of-Squares Programming
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Stability analysis of biological systems with real solution classification
+Normal rank
@@ Property / cites work @@
+Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)
+Normal rank
@@ Property / cites work @@
+Real solution isolation using interval arithmetic
@@ Property / cites work: Real solution isolation using interval arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+A complete algorithm for automated discovering of a class of inequality-type theorems
+Normal rank