Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
From MaRDI portal
Publication:1949085
DOI10.1007/s11786-012-0133-6zbMath1261.93063arXiv1103.3372MaRDI QIDQ1949085
Naijun Zhan, Jiang Liu, Heng-Jun Zhao
Publication date: 25 April 2013
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1103.3372
Lyapunov function; asymptotic stability; polynomial dynamical system; cyber-physical system, dynamical system; higher order Lie derivative; polynomial RLFs; proportional derivative; relaxed Lyapunov functions (RLFs)
93D20: Asymptotic stability in control theory
13F20: Polynomial rings and ideals; rings of integer-valued polynomials
Related Items
Exact asymptotic stability analysis and region-of-attraction estimation for nonlinear systems, Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants, Formal Modelling, Analysis and Verification of Hybrid Systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Stability analysis of nonlinear systems using higher order derivatives of Lyapunov function candidates
- On the asymptotic stability of equilibrium
- Algebraic approaches to stability analysis of biological systems
- Real quantifier elimination is doubly exponential
- Stability of switched systems: a Lie-algebraic condition
- Semidefinite programming relaxations for semialgebraic problems
- Recent advances on determining the number of real roots of parametric polynomials
- Stability of discrete linear inclusion
- Common Lyapunov functions for families of commuting nonlinear systems
- A weaker criterion of asymptotic stability
- Lie-Algebraic Stability Criteria for Switched Systems
- Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
- Generating Polynomial Invariants with DISCOVERER and QEPCAD
- Construction of a local and global Lyapunov function using radial basis functions
- Verification and Control of Hybrid Systems
- Computation of piecewise quadratic Lyapunov functions for hybrid systems
- A separation principle for the control of a class of nonlinear systems
- Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition
- Stability Region Analysis Using Polynomial and Composite Polynomial Lyapunov Functions and Sum-of-Squares Programming
- Stability analysis of biological systems with real solution classification