Strong implication-form ISS-Lyapunov functions for discontinuous discrete-time systems

Titelangaben

Grüne, Lars ; Kellett, Christopher M.:
Strong implication-form ISS-Lyapunov functions for discontinuous discrete-time systems.
Department of Mathematics, University of Bayreuth
Bayreuth , 2014

Volltext

Format: PDF Name: Gruene_Kellett_strong_impl-form_iss-lyap_fct_discont_discr-time_sys_2014.pdf Version: Angenommene Version Verfügbar mit der Lizenz Deutsches Urheberrechtsgesetz. Das Dokument darf zum eigenen Gebrauch kostenfrei genutzt werden. Darüber hinaus bedürfen die Vervielfältigung, Bearbeitung, Verbreitung und jede Art der Verwertung der schriftlichen Zustimmung des jeweiligen Rechteinhabers.

Download (176kB)

Abstract

Input-to-State Stability (ISS) and the ISS-Lyapunov function have proved to be useful tools for the analysis and design of nonlinear systems in a variety of contexts. Motivated by the fact that many feedback control laws, such as model predictive control or event-based control, lead to discontinuous discrete-time dynamics, we investigate ISS-Lyapunov functions for such systems. ISS-Lyapunov functions were originally introduced in a so-called implication-form and, in many cases, this has been shown to be equivalent to an ISS-Lyapunov function of dissipation-form. However, for discontinuous dynamics, we demonstrate via an example that this equivalence no longer holds. We therefore propose a stronger implication-form ISS-Lyapunov which re-establishes the equivalence to dissipation-form ISS-Lyapunov functions and to the ISS property for discontinuous systems.