Time-Sequence Based Modeling of Finite Automata in Model Predictive Control of Hybrid Systems | IEEE Conference Publication | IEEE Xplore