Optimal Real-Time Residential Thermal Energy Management for Peak-Load Shifting With Experimental Verification | IEEE Journals & Magazine | IEEE Xplore