Author here. With https://evcc.io I have (with tremendous help) developed a home energy management system, originally for solar-optimised EV charging (big in Germany/Europe with users in the US or even Australia). Turning into a general HEMS proves hard. While all our current algorithms are strictly predictable, we're lacking global, multi-goal, non-linear optimisation. Maybe SAT solvers, maybe non-linear programming, maybe stochastic or ML/AI can be part of the solution. We have lots of data but no algorithm or technical approach and I'm unsure where to go next.