An MILP model for optimal management of energy consumption and comfort in smart buildings | IEEE Conference Publication | IEEE Xplore