Discovering polynomial Lyapunov functions for continuous dynamical systems
From MaRDI portal
Publication:2437283
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
Cites work
- scientific article; zbMATH DE number 3746884 (Why is no real title available?)
- scientific article; zbMATH DE number 1490041 (Why is no real title available?)
- scientific article; zbMATH DE number 3302557 (Why is no real title available?)
- scientific article; zbMATH DE number 3068536 (Why is no real title available?)
- A complete algorithm for automated discovering of a class of inequality-type theorems
- A semi-algebraic approach for asymptotic stability analysis
- Algebraic analysis on asymptotic stability of continuous dynamical systems
- Algebraic analysis on asymptotic stability of switched hybrid systems
- Computing a basin of attraction to a target region by solving bilinear semi-definite problems
- Condition number based complexity estimate for computing local extrema
- Condition number based complexity estimate for solving polynomial systems
- Constraint-Based Approach for Analysis of Hybrid Systems
- Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
- Hybrid Systems: Computation and Control
- Improved projection for cylindrical algebraic decomposition
- Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology
- Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
- Nonlinear systems.
- Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)
- Partial cylindrical algebraic decomposition for quantifier elimination
- Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
- Real solution isolation using interval arithmetic
- Semidefinite programming relaxations for semialgebraic problems
- Solving systems of strict polynomial inequalities
- Stability Region Analysis Using Polynomial and Composite Polynomial Lyapunov Functions and Sum-of-Squares Programming
- Stability analysis of biological systems with real solution classification
- Testing stability by quantifier elimination
- The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple
- Tightened reachability constraints for the verification of linear hybrid systems
Cited in
(19)- A semi-algebraic approach for asymptotic stability analysis
- Inner-estimating domains of attraction for discrete-time non-polynomial systems with piecewise difference inclusions
- A conflict-driven solving procedure for poly-power constraints
- Characterizations and criteria for synchronization of heterogeneous networks to linear subspaces
- Special algorithm for stability analysis of multistable biological regulatory systems
- Automatic determination of connected sublevel sets of CPA Lyapunov functions
- On a Lyapunov equation for polynomial continuous-time systems
- Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions
- Symbolic computation for the qualitative theory of differential equations
- Discovering multiple Lyapunov functions for switched hybrid systems
- Reverse-engineering of polynomial dynamical systems
- Homogeneous polynomial Lyapunov functions for the analysis of polytopic parameter-dependent descriptor systems
- Review on computational methods for Lyapunov functions
- Global dynamics of a predator-prey system with density-dependent mortality and ratio-dependent functional response
- FOSSIL
- Finding positively invariant sets and proving exponential stability of limit cycles using sum-of-squares decompositions
- Sufficient and necessary conditions for discrete-time nonlinear switched systems with uniform local exponential stability
- Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
- On the stability of discrete-time homogeneous polynomial dynamical systems
Describes a project that uses
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)
