On state estimation of discrete-time Markov jump linear systems | IEEE Conference Publication | IEEE Xplore