A converse sum-of-squares Lyapunov result: An existence proof based on the Picard iteration.

Conference item

In this paper, we show that local exponential stability of a polynomial vector field implies the existence of a Lyapunov function which is a sum-of-squares of polynomials. To do that, we use the Picard iteration. This result shows that local stability of polynomial vector fields can be computed in a relatively efficient manner using semidefinite programming. ©2010 IEEE.

Authors: Peet, M; Papachristodoulou, A

• Publication status: Published
• Publisher: IEEE
• Host title: CDC
• Pages: 5949-5954
• Publication date: 2010-01-01
• DOI: 10.1109/CDC.2010.5717536
• ISSN: 0191-2216
• ISBN: 9781424477456