Model predictive control for the operation of building cooling systems | Synapse