Optimal model-based control in HVAC systems | IEEE Conference Publication | IEEE Xplore