A proof of a discrete stability test via the Lyapunov theorem | IEEE Journals & Magazine | IEEE Xplore