Model predictive control for residential energy resources using a mixed-logical dynamic model | IEEE Conference Publication | IEEE Xplore