Demand Response in Smart Districts: Model Predictive Control of Building Cooling | IEEE Conference Publication | IEEE Xplore