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...
Main Authors: | , , |
---|---|
Format: | Conference item |
Published: |
2002
|