Energy Scheduling for a Smart Home Applying Stochastic Model Predictive Control | IEEE Conference Publication | IEEE Xplore