Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems

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

zbMATH Keywords

Lyapunov function; asymptotic stability; polynomial dynamical system; cyber-physical system, dynamical system; higher order Lie derivative; polynomial RLFs; proportional derivative; relaxed Lyapunov functions (RLFs)

Mathematics Subject Classification ID

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, A Lyapunov approach for attraction domain estimation of polynomial discrete nonlinear systems with quadratic and cubic terms, Deductive stability proofs for ordinary differential equations, Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants, Formal Modelling, Analysis and Verification of Hybrid Systems

Uses Software

• Maple
• REDLOG
• DISCOVERER

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