Residual bounds for discrete-time Lyapunov equations | IEEE Journals & Magazine | IEEE Xplore