Energy savings in HVAC systems using discrete model-based predictive control | IEEE Conference Publication | IEEE Xplore