Model Predictive Control for the Operation of Building Cooling Systems | Synapse