Almost Global Finite-time Stability of Invariant Sets

Research output: Contribution to conference without publisher/journalConference abstract for conferenceResearchpeer-review

Abstract

A relation between finite-time stability and Rantzer's density function has been presented for both discrete- and continuous-time system. We show that the existence of an integrable Rantzer function (also called Lyapunov density or Lyapunov measure) implies the convergence of almost all trajectories to an invariant set in finite time. The proofs utilise the duality between Frobenious-Perron operator and Koopman operator, as well as Rantzer's lemma for the evolution of densities. To illustrate the theoretical results, some illustrative examples are presented. Additionally, a transformation that removes the integrability assumption has been addressed which makes the problem of the construction of a Rantzer function numerically tractable.
Close

Details

A relation between finite-time stability and Rantzer's density function has been presented for both discrete- and continuous-time system. We show that the existence of an integrable Rantzer function (also called Lyapunov density or Lyapunov measure) implies the convergence of almost all trajectories to an invariant set in finite time. The proofs utilise the duality between Frobenious-Perron operator and Koopman operator, as well as Rantzer's lemma for the evolution of densities. To illustrate the theoretical results, some illustrative examples are presented. Additionally, a transformation that removes the integrability assumption has been addressed which makes the problem of the construction of a Rantzer function numerically tractable.
Original languageEnglish
Publication date2018
Publication statusPublished - 2018
Publication categoryResearch
Peer-reviewedYes
Event57th IEEE Conference on Decision and Control - Florida, United States
Duration: 17 Dec 201819 Dec 2018
https://cdc2018.ieeecss.org/index.php

Conference

Conference57th IEEE Conference on Decision and Control
CountryUnited States
CityFlorida
Period17/12/201819/12/2018
Internet address
ID: 287914715