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
Gruene_Kellett_strong_impl-form_iss-lyap_fct_discont_discr-time_sys_2014.pdf - Angenommene Version
Available under License Deutsches Urheberrechtsgesetz .
Angaben zu Projekten
7. Forschungsrahmenprogramm für Forschung, technologische Entwicklung und Demonstration der Europäischen Union
Australien Research Council (ARC)
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.