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

A relaxation of Lyapunov's direct method has been proposed recently 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 this paper, the above technique...

Full description

Bibliographic Details
Main Authors: Papachristodoulou, A, Prajna, S, IEEE
Format: Conference item
Published: 2002