Lyapunov Characterizations of Exponential Mean Square Input-to-State Stability for Discrete-Time Markovian Switching Nonlinear Systems | IEEE Journals & Magazine | IEEE Xplore