A Comparison of Economic MPC Formulations for Thermal Building Control | IEEE Conference Publication | IEEE Xplore