Input-to-state dynamical stability and its Lyapunov function characterization | IEEE Journals & Magazine | IEEE Xplore