A receding horizon control of Markov jump linear systems with imperfect state information and probabilistic state constraints | IEEE Conference Publication | IEEE Xplore