Tri-Level Scheduling Model Considering Residential Demand Flexibility of Aggregated HVACs and EVs Under Distribution LMP | IEEE Journals & Magazine | IEEE Xplore