Model Predictive Control of thermal energy storage in building cooling systems | IEEE Conference Publication | IEEE Xplore