Finite-time stability and stabilization of stochastic nonlinear systems with Markovian switching | IEEE Conference Publication | IEEE Xplore