ℋ2 filter design through multi-simplex modeling for discrete-time Markov jump linear systems with partly unknown transition probability matrix.