Tri-level Scheduling Model Considering Residential Demand Flexibility of Aggregated HVACs and EVs under Distribution LMP | IEEE Conference Publication | IEEE Xplore