Distributed Real-Time HVAC Control for Cost-Efficient Commercial Buildings Under Smart Grid Environment | IEEE Journals & Magazine | IEEE Xplore