A Sparse Quadratic Programming Approach to Supervisory Control of Multi-Zone HVAC Systems with Consideration of Peak Demand Shaving and Thermal Comfort | IEEE Conference Publication | IEEE Xplore