Abstract
For a given invariant set of a dynamical system, it is known that the existence of a Lyapunov-type density function, called Lyapunov density or Rantzer's density function, may imply the convergence of almost all solutions to the invariant set, in other words, the almost global stability (also called almost everywhere stability) of the invariant set. For discrete-time systems, related results in literature assume that the state space is compact and the invariant set has a local basin of attraction. We show that these assumptions are redundant. Using the duality between Frobenius-Perron and Koopman operators, we provide a Lyapunov density theorem for discrete-time systems without assuming the compactness of the state space or any local attraction property of the invariant set. As a corollary to this new discrete-time Lyapunov density theorem, we provide a continuous-time Lyapunov density theorem which can be used as an alternative to Rantzer's original theorem, especially where the solutions are known to exist globally.
Original language | English |
---|---|
Title of host publication | 2018 European Control Conference, ECC 2018 |
Number of pages | 6 |
Publisher | IEEE |
Publication date | 27 Nov 2018 |
Pages | 1648-1653 |
Article number | 8550488 |
ISBN (Print) | 978-1-5386-5303-6 |
ISBN (Electronic) | 978-3-9524-2698-2 |
DOIs | |
Publication status | Published - 27 Nov 2018 |
Event | 16th European Control Conference, ECC 2018 - Limassol, Cyprus Duration: 12 Jun 2018 → 15 Jun 2018 |
Conference
Conference | 16th European Control Conference, ECC 2018 |
---|---|
Country/Territory | Cyprus |
City | Limassol |
Period | 12/06/2018 → 15/06/2018 |
Sponsor | European Control Association (EUCA) |