Time-Based Scheduling Optimization for HVAC Control: A Case Study on Enhancing Energy Efficiency in Commercial Buildings | IEEE Conference Publication | IEEE Xplore