An integer linear programming based optimization for home demand-side management in smart grid | IEEE Conference Publication | IEEE Xplore