On the problem formulation of model predictive control for demand response of a power-to-heat home microgrid | IEEE Conference Publication | IEEE Xplore