Mixed-Integer Model Predictive Control of Hybrid Impulsive Linear Systems