MPC-Based HVAC Control System for Energy Efficiency and User Comfort | IEEE Conference Publication | IEEE Xplore