Modeling optimal deployment of smart home devices and battery system using MILP | IEEE Conference Publication | IEEE Xplore