Discovering polynomial Lyapunov functions for continuous dynamical systems
From MaRDI portal
Publication:2437283
DOI10.1016/J.JSC.2013.06.003zbMATH Open1338.37025OpenAlexW2066116184MaRDI QIDQ2437283FDOQ2437283
Zhiming Zheng, Zhikun She, Hao-Yang Li, Bican Xia, Bai Xue
Publication date: 3 March 2014
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2013.06.003
Recommendations
- Algebraic analysis on asymptotic stability of continuous dynamical systems
- Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
- On a Lyapunov equation for polynomial continuous-time systems
- Discovering multiple Lyapunov functions for switched hybrid systems
- A semi-algebraic approach for asymptotic stability analysis
Stability of topological dynamical systems (37B25) Stability theory for smooth dynamical systems (37C75)
Cites Work
- A complete algorithm for automated discovering of a class of inequality-type theorems
- Nonlinear systems.
- Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
- Partial cylindrical algebraic decomposition for quantifier elimination
- Semidefinite programming relaxations for semialgebraic problems
- Solving systems of strict polynomial inequalities
- Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Stability Region Analysis Using Polynomial and Composite Polynomial Lyapunov Functions and Sum-of-Squares Programming
- The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple
- Improved projection for cylindrical algebraic decomposition
- Algebraic analysis on asymptotic stability of continuous dynamical systems
- Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
- Real solution isolation using interval arithmetic
- Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology
- Testing stability by quantifier elimination
- Stability analysis of biological systems with real solution classification
- A semi-algebraic approach for asymptotic stability analysis
- Constraint-Based Approach for Analysis of Hybrid Systems
- Hybrid Systems: Computation and Control
- Condition number based complexity estimate for solving polynomial systems
- Algebraic analysis on asymptotic stability of switched hybrid systems
- Condition number based complexity estimate for computing local extrema
- Title not available (Why is that?)
- Tightened reachability constraints for the verification of linear hybrid systems
- Computing a Basin of Attraction to a Target Region by Solving Bilinear Semi-Definite Problems
- Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)
Cited In (15)
- Review on computational methods for Lyapunov functions
- Sufficient and necessary conditions for discrete-time nonlinear switched systems with uniform local exponential stability
- Automatic Determination of Connected Sublevel Sets of CPA Lyapunov Functions
- Inner-estimating domains of attraction for discrete-time non-polynomial systems with piecewise difference inclusions
- Symbolic computation for the qualitative theory of differential equations
- Special algorithm for stability analysis of multistable biological regulatory systems
- Characterizations and Criteria for Synchronization of Heterogeneous Networks to Linear Subspaces
- Reverse-engineering of polynomial dynamical systems
- Global dynamics of a predator-prey system with density-dependent mortality and ratio-dependent functional response
- Homogeneous polynomial Lyapunov functions for the analysis of polytopic parameter-dependent descriptor systems
- Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions
- Finding positively invariant sets and proving exponential stability of limit cycles using sum-of-squares decompositions
- A conflict-driven solving procedure for poly-power constraints
- FOSSIL
- On the stability of discrete-time homogeneous polynomial dynamical systems
Uses Software
This page was built for publication: Discovering polynomial Lyapunov functions for continuous dynamical systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2437283)
