Home energy management systems with branch-and-bound model-based predictive control techniques - Bot, Karol (2021)