Model reduction and model predictive control of energy-efficient buildings for electrical heating load shifting. (February 2019)