Uma otimização baseada em programação linear inteira para gestão da demanda em residências na rede elétrica inteligente | Synapse