The input-to-state stability condition and global stabilization of discrete-time systems | IEEE Journals & Magazine | IEEE Xplore