Title: From Model Reduction to Efficient Predictive Control with Guarantees