ℋ∞ static output feedback control of discrete-time Markov jump linear systems with uncertain transition probability matrix | IEEE Conference Publication | IEEE Xplore