MLD-based modeling and MPC of discrete-time hybrid systems with stochastic mode transitions | IEEE Conference Publication | IEEE Xplore