A sum-of-squares approach to the analysis of Zeno stability in polynomial hybrid systems

Chaitanya Murti, Matthew Peet

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

Abstract

Hybrid dynamical systems can exhibit many unique phenomena, such as Zeno behavior. Zeno behavior is the occurrence of infinite discrete transitions in finite time. Zeno behavior has been likened to a form of finite-time asymptotic stability, and corresponding Lyapunov theorems have been developed. In this paper, we propose a method to construct Lyapunov functions to prove Zeno stability of compact sets in cyclic hybrid systems with parametric uncertainties in the vector fields, domains and guard sets, and reset maps utilizing sum-of-squares programming. This technique can easily be applied to cyclic hybrid systems without parametric uncertainties as well. Examples illustrating the use of the proposed technique are also provided.

Original languageEnglish (US)
Title of host publication2013 European Control Conference, ECC 2013
PublisherIEEE Computer Society
Pages1657-1662
Number of pages6
ISBN (Print)9783033039629
DOIs
StatePublished - 2013
Event2013 12th European Control Conference, ECC 2013 - Zurich, Switzerland
Duration: Jul 17 2013Jul 19 2013

Publication series

Name2013 European Control Conference, ECC 2013

Other

Other2013 12th European Control Conference, ECC 2013
Country/TerritorySwitzerland
CityZurich
Period7/17/137/19/13

ASJC Scopus subject areas

  • Control and Systems Engineering

Fingerprint

Dive into the research topics of 'A sum-of-squares approach to the analysis of Zeno stability in polynomial hybrid systems'. Together they form a unique fingerprint.

Cite this