On the construction of Lyapunov functions using the sum of squares decomposition
- 27 August 2003
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 3, 3482-3487 vol.3
- https://doi.org/10.1109/cdc.2002.1184414
Abstract
A relaxation of Lyapunov's direct method has been proposed elsewhere that allows for an algorithmic construction of Lyapunov functions to prove stability of equilibria in nonlinear systems, but the search is restricted to systems with polynomial vector fields. In the paper, the above technique is extended to include systems with equality, inequality, and integral constraints. This allows certain non-polynomial nonlinearities in the vector field to be handled exactly and the constructed Lyapunov functions to contain non-polynomial terms. It also allows robustness analysis to be performed. Some examples are given to illustrate how this is done.Keywords
This publication has 6 references indexed in Scilit:
- Introducing SOSTOOLS: a general purpose sum of squares programming solverPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Mathematical BiologyPublished by Springer Science and Business Media LLC ,2003
- Introduction to Mechanics and SymmetryPublished by Springer Science and Business Media LLC ,1999
- Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric conesOptimization Methods and Software, 1999
- System analysis via integral quadratic constraintsIEEE Transactions on Automatic Control, 1997
- Linear Matrix Inequalities in System and Control TheoryPublished by Society for Industrial & Applied Mathematics (SIAM) ,1994