Demand Response Control of Aggregated HVACs for Providing Peak-Shaving Services Considering Diversified User Requirements | IEEE Conference Publication | IEEE Xplore