Robust finite-time stochastic stability analysis and control synthesis of uncertain discrete-time Markovian jump linear systems | IEEE Conference Publication | IEEE Xplore