On almost Lyapunov functions for non-vanishing vector fields

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

Abstract

We study convergence properties of nonlinear systems in the presence of 'almost Lyapunov' functions which decrease along solutions in a given region not everywhere but rather on the complement of a set of small volume. The structure is quite general except that the system dynamics never vanishes in a region that is away from the equilibrium. It is shown that solutions starting inside the region will approach a small set around the origin as long as the volume where the Lyapunov function does not decrease fast enough is sufficiently small. The main theorem of this paper is established by tracking the change of Lyapunov function value when the solution passes through the above mentioned volume and finding an upper bound of the volume swept out by a neighborhood along the solution before it can achieve an overall gain in its Lyapunov function value. The result shows that the convergence rate is traded off against the size of such small volume that the system can have. In the end a non-trivial example where our theorem is applicable is demonstrated.

Original languageEnglish (US)
Title of host publication2016 IEEE 55th Conference on Decision and Control, CDC 2016
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages5557-5562
Number of pages6
ISBN (Electronic)9781509018376
DOIs
StatePublished - Dec 27 2016
Event55th IEEE Conference on Decision and Control, CDC 2016 - Las Vegas, United States
Duration: Dec 12 2016Dec 14 2016

Publication series

Name2016 IEEE 55th Conference on Decision and Control, CDC 2016

Other

Other55th IEEE Conference on Decision and Control, CDC 2016
Country/TerritoryUnited States
CityLas Vegas
Period12/12/1612/14/16

ASJC Scopus subject areas

  • Artificial Intelligence
  • Decision Sciences (miscellaneous)
  • Control and Optimization

Fingerprint

Dive into the research topics of 'On almost Lyapunov functions for non-vanishing vector fields'. Together they form a unique fingerprint.

Cite this