Conference item

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

Abstract:

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 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 Lyapun...

Publication status:
Published

### Authors

More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Engineering Science
Role:
Author
More by this author
Role:
Author, Author
Volume:
3
Pages:
3482-3487
Host title:
PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4
Publication date:
2002-01-01
ISSN:
0191-2216
Source identifiers:
64481
ISBN:
0780375165
Pubs id:
pubs:64481
UUID:
uuid:ce971dd4-6186-4119-b5f6-5a0dbcfa80ae
Local pid:
pubs:64481
Deposit date:
2012-12-19