Stochastic passivity of discrete-time Markovian jump nonlinear systems | IEEE Conference Publication | IEEE Xplore