Bi-level scheduling Model of Air conditioning load aggregator considering users’ comfort compensation | IEEE Conference Publication | IEEE Xplore