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