Forward and Converse Lyapunov Theorems for Discrete Dynamical Systems. - Reza Jafari; Anthony Kable; Martin Hagan (IEEE Trans. Autom. Control., 2014)