Optimal control of HVAC operations based on sensor data | IEEE Conference Publication | IEEE Xplore