Quantitative methods for comparing different HVAC control schemes | IEEE Conference Publication | IEEE Xplore