MIT Libraries logoDSpace@MIT

MIT
View Item 
  • DSpace@MIT Home
  • MIT Open Access Articles
  • MIT Open Access Articles
  • View Item
  • DSpace@MIT Home
  • MIT Open Access Articles
  • MIT Open Access Articles
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Converse results on existence of sum of squares Lyapunov functions

Author(s)
Ahmadi, Amir Ali; Parrilo, Pablo A.
Thumbnail
DownloadParrilo_Converse results.pdf (288.5Kb)
OPEN_ACCESS_POLICY

Open Access Policy

Creative Commons Attribution-Noncommercial-Share Alike

Terms of use
Creative Commons Attribution-Noncommercial-Share Alike 3.0 http://creativecommons.org/licenses/by-nc-sa/3.0/
Metadata
Show full item record
Abstract
Despite the pervasiveness of sum of squares (sos) techniques in Lyapunov analysis of dynamical systems, the converse question of whether sos Lyapunov functions exist whenever polynomial Lyapunov functions exist has remained elusive. In this paper, we first show via an explicit counterexample that if the degree of the polynomial Lyapunov function is fixed, then sos programming can fail to find a valid Lyapunov function even though one exists. On the other hand, if the degree is allowed to increase, we prove that existence of a polynomial Lyapunov function for a homogeneous polynomial vector field implies existence of a polynomial Lyapunov function that is sos and that the negative of its derivative is also sos. The latter result is extended to develop a converse sos Lyapunov theorem for robust stability of switched linear systems.
Date issued
2012-03
URI
http://hdl.handle.net/1721.1/72483
Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science; Massachusetts Institute of Technology. Laboratory for Information and Decision Systems
Journal
50th IEEE Conference on Decision and Control and European Control Conference 2011 (CDC-ECC)
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Citation
Ahmadi, Amir Ali, and Pablo A. Parrilo. “Converse Results on Existence of Sum of Squares Lyapunov Functions.” 50th IEEE Conference on Decision and Control and European Control Conference 2011 (CDC-ECC). 6516–6521.
Version: Author's final manuscript
ISBN
978-1-61284-799-3
978-1-61284-800-6

Collections
  • MIT Open Access Articles

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

Login

Statistics

OA StatisticsStatistics by CountryStatistics by Department
MIT Libraries
PrivacyPermissionsAccessibilityContact us
MIT
Content created by the MIT Libraries, CC BY-NC unless otherwise noted. Notify us about copyright concerns.