Model Predictive Control for the Operation of Building Cooling Systems | IEEE Journals & Magazine | IEEE Xplore