Real-Time MPC for Residential Building Water Heater Systems to Support the Electric Grid | IEEE Conference Publication | IEEE Xplore