Lyapunov function construction for a class of discrete time-varying systems | IEEE Journals & Magazine | IEEE Xplore