Model predictive control for thermal comfort optimization in building energy management systems | IEEE Conference Publication | IEEE Xplore