Modeling and stochastic control for Home Energy Management | IEEE Conference Publication | IEEE Xplore