Abstract
This paper presents a proof that existence of a polyno-mial Lyapunov function is necessary and sufficient for exponential stability of sufficiently smooth nonlinear or-dinary differential equations on bounded sets. The main result implies that if there exists an n-times continuously differentiate Lyapunov function which proves exponen-tial stability on a bounded subset of ℝ<sup>n</sup> , then there exists a polynomial Lyapunov function which proves exponen-tial stability on the same region. Such a continuous Lya-punov function will exist if , for example , the right-hand side of the differential equation is polynomial or at least n-times continuously differentiable. Our investigation is motivated by the use of polynomial optimization algo-rithms to construct polynomial Lyapunov functions for systems of nonlinear ordinary differential equations.
Original language | English (US) |
---|---|
Title of host publication | 45th Annual Allerton Conference on Communication, Control, and Computing 2007 |
Publisher | University of Illinois at Urbana-Champaign, Coordinated Science Laboratory and Department of Computer and Electrical Engineering |
Pages | 1074-1081 |
Number of pages | 8 |
Volume | 2 |
ISBN (Print) | 9781605600864 |
State | Published - 2007 |
Externally published | Yes |
Event | 45th Annual Allerton Conference on Communication, Control, and Computing 2007 - Monticello, United States Duration: Sep 26 2007 → Sep 28 2007 |
Other
Other | 45th Annual Allerton Conference on Communication, Control, and Computing 2007 |
---|---|
Country/Territory | United States |
City | Monticello |
Period | 9/26/07 → 9/28/07 |
ASJC Scopus subject areas
- Computer Science Applications
- Computer Networks and Communications