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.
Type de document :
Article dans une revue
Nonlinear Analysis: Hybrid Systems, Elsevier, 2008, 2 (2 spécial issue), pp.394-407. 〈10.1016/j.nahs.2006.12.005〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00857803
Contributeur : Alain Rapaport <>
Soumis le : mercredi 4 septembre 2013 - 10:02:30
Dernière modification le : vendredi 27 avril 2018 - 14:42:02

Lien texte intégral

Identifiants

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〉

Partager

Métriques

Consultations de la notice

143