Event-triggered control design for discrete-time saturating Markov jump systems with quantization | IEEE Conference Publication | IEEE Xplore