- 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.
- Publication status:
- Publisher copy:
- Copyright date:
A converse sum-of-squares Lyapunov result: An existence proof based on the Picard iteration.
If you are the owner of this record, you can report an update to it here: Report update to this record