Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
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
Contributor : Alain Rapaport Connect in order to contact the contributor
Submitted on : Sunday, May 31, 2020 - 12:08:39 PM
Last modification on : Friday, February 4, 2022 - 3:23:22 AM


Publisher files allowed on an open archive




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⟩



Record views


Files downloads