Computation of Lyapunov functions for discrete-time systems using the Yoshizawa construction

- Li, Huijuan; Hafstein, Sigurður; Kellett, Christopher M.