An alternative converse Lyapunov theorem for discrete-time systems

This paper presents an alternative approach for obtaining a converse Lyapunov theorem for discrete-time systems. The proposed approach is constructive, as it provides an explicit Lyapunov function. The developed converse theorem establishes existence of global Lyapunov functions for globally exponentially stable (GES) systems and for globally asymptotically stable systems, Lyapunov functions on a set [a,b] with 0