A Converse Sum of Squares Lyapunov Result with a Degree Bound

Mathematics – Classical Analysis and ODEs

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

Scientific paper

Sum of Squares programming has been used extensively over the past decade for the stability analysis of nonlinear systems but several questions remain unanswered. In this paper, we show that exponential stability of a polynomial vector field on a bounded set implies the existence of a Lyapunov function which is a sum-of-squares of polynomials. In particular, the main result states that if a system is exponentially stable on a bounded nonempty set, then there exists an SOS Lyapunov function which is exponentially decreasing on that bounded set. The proof is constructive and uses the Picard iteration. A bound on the degree of this converse Lyapunov function is also given. This result implies that semidefinite programming can be used to answer the question of stability of a polynomial vector field with a bound on complexity.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

A Converse Sum of Squares Lyapunov Result with a Degree Bound does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Converse Sum of Squares Lyapunov Result with a Degree Bound, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Converse Sum of Squares Lyapunov Result with a Degree Bound will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-152902

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.