Optimal HVAC Control for Demand Response via Chance-Constrained Two-Stage Stochastic Program | IEEE Journals & Magazine | IEEE Xplore