Stabilizing model predictive control of hybrid systems with discrete dynamics | IEEE Conference Publication | IEEE Xplore