An alternative converse Lyapunov theorem for discrete-time systemsRoman GeiselhartRob H. Gielenet al.2014Systems and Control Letters