Reachable set estimation of discrete-time Markovian jump systems | IEEE Conference Publication | IEEE Xplore