HVAC control using infinite-horizon economic MPC | IEEE Conference Publication | IEEE Xplore