Describir: Discrete-Time Model Predictive Control