State estimation of discrete-time Markov jump linear systems in the environment of arbitrarily correlated Gaussian noises | IEEE Conference Publication | IEEE Xplore