Design of Supervisory Model Predictive Control for Building HVAC System With Consideration of Peak-Load Shaving and Thermal Comfort | IEEE Journals & Magazine | IEEE Xplore