Model predictive control for residential energy resources using a mixed-logical dynamic model