Model predictive control for the operation of building cooling systems | IEEE Conference Publication | IEEE Xplore