Text this: Passivity-based synchronous control of Markov jump systems with actuator saturation.