Constructing piecewise-polynomial lyapunov functions for local stability of nonlinear systems using Handelman's theorem

Reza Kamyar, Chaitanya Murti, Matthew Peet

Research output: Contribution to journalConference articlepeer-review

4 Scopus citations


In this paper, we propose a new convex approach to stability analysis of nonlinear systems with polynomial vector fields. First, we consider an arbitrary convex polytope that contains the equilibrium in its interior. Then, we decompose the polytope into several convex sub-polytopes with a common vertex at the equilibrium. Then, by using Handelman's theorem, we derive a new set of affine feasibility conditions -solvable by linear programming- on each sub-polytope. Any solution to this feasibility problem yields a piecewise polynomial Lyapunov function on the entire polytope. This is the first result which utilizes Handelman's theorem and decomposition to construct piecewise polynomial Lyapunov functions on arbitrary polytopes. In a computational complexity analysis, we show that for large number of states and large degrees of the Lyapunov function, the complexity of the proposed feasibility problem is less than the complexity of certain semi-definite programs associated with alternative methods based on Sum-of-Squares or Polya's theorem. Using different types of convex polytopes, we assess the accuracy of the algorithm in estimating the region of attraction of the equilibrium point of the reverse-time Van Der Pol oscillator.

Original languageEnglish (US)
Article number7040246
Pages (from-to)5481-5487
Number of pages7
JournalProceedings of the IEEE Conference on Decision and Control
Issue numberFebruary
StatePublished - 2014
Event2014 53rd IEEE Annual Conference on Decision and Control, CDC 2014 - Los Angeles, United States
Duration: Dec 15 2014Dec 17 2014

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Modeling and Simulation
  • Control and Optimization


Dive into the research topics of 'Constructing piecewise-polynomial lyapunov functions for local stability of nonlinear systems using Handelman's theorem'. Together they form a unique fingerprint.

Cite this