Document Type
Article
Publication Date
6-1-2008
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. © 2007 Elsevier Ltd. All rights reserved.
Publication Source (Journal or Book title)
Nonlinear Analysis: Hybrid Systems
First Page
394
Last Page
407
Recommended Citation
Malisoff, M., & Mazenc, F. (2008). Constructions of strict Lyapunov functions for discrete time and hybrid time-varying systems. Nonlinear Analysis: Hybrid Systems, 2 (2), 394-407. https://doi.org/10.1016/j.nahs.2006.12.005