Synthesis for Discrete-Time Markov Jump Systems with Event Triggered Strategy | IEEE Conference Publication | IEEE Xplore