Fault detection for discrete-time Markov jump linear systems with partially known transition probabilities | IEEE Conference Publication | IEEE Xplore