Published December 2002 | public
Book Section - Chapter

On the construction of Lyapunov functions using the sum of squares decomposition

An error occurred while generating the citation.

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.

Additional Information

© 2002 IEEE. Issue Date: 10-13 Dec. 2002. Date of Current Version: 10 March 2003. Work financially supported by AFOSR MURI "Mathematical Infrastructure for Robust Virtual Engineering" and "Unified Theory for Complex Biological and Engineering Networks", NIH/NIGMS AfCS (Alliance for Cellular Signalling), DARPA "Enlightened multiscale simulation of biochemical networks", the Kitano ERATO Systems Biology Project, and URI "Protecting Infrastructures from Themselves."

Additional details

Created:
August 19, 2023
Modified:
January 13, 2024