Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems (Q1949085): Difference between revisions

@@ Property / author @@
+Heng-Jun Zhao
@@ Property / author: Heng-Jun Zhao / 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 @@
+Maple
@@ Property / describes a project that uses: Maple / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DISCOVERER
@@ Property / describes a project that uses: DISCOVERER / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1495313603
@@ Property / OpenAlex ID: W1495313603 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3372
@@ Property / arXiv ID: 1103.3372 / rank @@
+Normal rank
@@ Property / cites work @@
+Lie-Algebraic Stability Criteria for Switched Systems
+Normal rank
@@ Property / cites work @@
+Generating Polynomial Invariants with DISCOVERER and QEPCAD
+Normal rank
@@ Property / cites work @@
+Real quantifier elimination is doubly exponential
@@ Property / cites work: Real quantifier elimination is doubly exponential / rank @@
+Normal rank
@@ Property / cites work @@
+A weaker criterion of asymptotic stability
@@ Property / cites work: A weaker criterion of asymptotic stability / rank @@
+Normal rank
@@ Property / cites work @@
+Construction of a local and global Lyapunov function using radial basis functions
+Normal rank
@@ Property / cites work @@
+Stability of discrete linear inclusion
@@ Property / cites work: Stability of discrete linear inclusion / rank @@
+Normal rank
@@ Property / cites work @@
+Q5440982
@@ Property / cites work: Q5440982 / rank @@
+Normal rank
@@ Property / cites work @@
+On the asymptotic stability of equilibrium
@@ Property / cites work: On the asymptotic stability of equilibrium / rank @@
+Normal rank
@@ Property / cites work @@
+Computation of piecewise quadratic Lyapunov functions for hybrid systems
+Normal rank
@@ Property / cites work @@
+A separation principle for the control of a class of nonlinear systems
+Normal rank
@@ Property / cites work @@
+Stability of switched systems: a Lie-algebraic condition
+Normal rank
@@ Property / cites work @@
+Stability analysis of nonlinear systems using higher order derivatives of Lyapunov function candidates
+Normal rank
@@ Property / cites work @@
+Algebraic approaches to stability analysis of biological systems
+Normal rank
@@ Property / cites work @@
+Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition
+Normal rank
@@ Property / cites work @@
+Semidefinite programming relaxations for semialgebraic problems
+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 @@
+Q4003793
@@ Property / cites work: Q4003793 / rank @@
+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 @@
+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 @@
+Common Lyapunov functions for families of commuting nonlinear systems
+Normal rank
@@ Property / cites work @@
+Stability analysis of biological systems with real solution classification
+Normal rank
@@ Property / cites work @@
+Recent advances on determining the number of real roots of parametric polynomials
+Normal rank