Continuous-Time Aggregation of Massive Flexible HVAC Loads Considering Uncertainty for Reserve Provision in Power System Dispatch | IEEE Journals & Magazine | IEEE Xplore