Em Andamento
Otimização Guiada por Contraexemplo Aplicada à Programação Diária da Operação Eletroenergética usando as Teorias do Módulo da Satisfatibilidade
Projeto de pesquisa listado no portfólio PPGEE 2021–2024.
Período
janeiro de 2021 – janeiro de 2024
Coordenação
Processo
DEV-2021-0008
Duração
Quadriênio 2021–2024 no portfólio do PPGEE
Projeto
Descrição
Projeto de pesquisa listado no portfólio PPGEE 2021–2024.
Objetivos
Objetivos
Aplicar otimização guiada por contraexemplo e teorias do módulo da satisfatibilidade à programação diária da operação eletroenergética, conforme o título institucional.
Método
Metodologia
O projeto aplica otimização guiada por contraexemplos à programação diária da operação eletroenergética, usando teorias do módulo da satisfatibilidade.
Resultados esperados
Resultados esperados
Espera-se um método de otimização validado em casos do setor elétrico com publicações associadas.
Resultados alcançados
Resultados alcançados
Método implementado e avaliado em cenários de operação eletroenergética.
Impacto
Impacto e legado
Técnicas de otimização reaproveitáveis em despacho e planejamento energético.
Equipe
Equipe e coordenação (4)
Pesquisa
Linha de pesquisa
Produção
Publicações relacionadas (2)
Parceiros
Instituições relacionadas
Palavras-chave
Palavras-chave
counterexample-guided optimizationSMToperação eletroenergéticaverificação