Skip to Main content Skip to Navigation
Journal articles

Constructions of strict Lyapunov functions for discrete time and hybrid time-varying systems

Michael Malisoff 1 Frédéric Mazenc 2
2 MERE - Water Resource Modeling
CRISAM - Inria Sophia Antipolis - Méditerranée , INRA - Institut National de la Recherche Agronomique : UMR0729
Abstract : We provide explicit closed form expressions for strict Lyapunov functions for time-varying discrete time systems. Our Lyapunov functions are expressed in terms of known nonstrict Lyapunov functions for the dynamics and finite sums of persistency of excitation parameters. This provides a discrete time analog of our previous continuous time Lyapunov function constructions. We also construct explicit strict Lyapunov functions for systems satisfying nonstrict discrete time analogs of the conditions from Matrosov's Theorem. We use our methods to build strict Lyapunov functions for time-varying hybrid systems that contain mixtures of continuous and discrete time evolutions.
Document type :
Journal articles
Complete list of metadata

Cited literature [27 references]  Display  Hide  Download

https://hal.inria.fr/hal-00857803
Contributor : Alain Rapaport <>
Submitted on : Sunday, May 31, 2020 - 12:08:39 PM
Last modification on : Tuesday, February 9, 2021 - 3:28:03 PM

File

Publis08-lasb-041_1.pdf
Publisher files allowed on an open archive

Identifiers

Collections

Citation

Michael Malisoff, Frédéric Mazenc. Constructions of strict Lyapunov functions for discrete time and hybrid time-varying systems. Nonlinear Analysis: Hybrid Systems, Elsevier, 2008, 2 (2 spécial issue), pp.394-407. ⟨10.1016/j.nahs.2006.12.005⟩. ⟨hal-00857803⟩

Share

Metrics

Record views

224

Files downloads

170