How to construct lyapunov function?
Lyapunov functions can be constructed for polynomial dynamical systems using different methods. One approach is to use quantifier elimination to simplify the problem of finding suitable Lyapunov functions for polynomial systems . Another method is to use Constrained Least Square Optimization to determine the coefficients of the Lyapunov function, ensuring its positive definiteness and negative semi-definiteness of its derivative . Additionally, a novel vector field decomposition based approach can be used, where the potential function of a decomposed vector field can serve as a Lyapunov function candidate . This approach is applicable to systems with a decomposition into two mutually orthogonal vector fields, one of which is curl-free and the other is divergence-free. The existence of this decomposition can be determined by solving specific equations .
Answers from top 4 papers
Papers (4) | Insight |
---|---|
The paper proposes a novel approach for constructing Lyapunov functions based on vector field decomposition. If the vector field can be decomposed into two mutually orthogonal fields, one curl-free and the other divergence-free, the potential function of the curl-free field can serve as a Lyapunov function candidate. | |
17 Oct 2022 | The paper proposes a method to construct a Lyapunov function for polynomial dynamical systems using Constrained Least Square Optimization. The method involves selecting a polynomial Lyapunov function with unknown coefficients and solving a least-square problem to determine the coefficients that make the function positive definite and its derivative negative semi-definite. |
The paper proposes using quantifier elimination and a parametric ansatz to construct Lyapunov functions for polynomial systems. It also suggests simplifying the problem by deriving easier to evaluate necessary conditions. | |
17 Oct 2022 | The paper proposes a method to construct a Lyapunov function for polynomial dynamical systems using Constrained Least Square Optimization. |