PV and Demand Models for a Markov Decision Process Formulation of the Home Energy Management Problem | IEEE Journals & Magazine | IEEE Xplore