Input-to-state stability for discrete-time stochastic nonlinear systems | IEEE Conference Publication | IEEE Xplore