área de pesquisa
- Desenvolvimento de Um Sistema de Diagnostico de falta para Subestação Baseado em Redes de Petri Coloridas
- Estudo e desenvolvimento de técnicas de controle para grafos de eventos temporizados
- Framework proposal for selecting a hybrid renewable generation mix at a prosumer connecting point in the context of micro smart grids
- Guilherme Gomes da Silva
- João Bosco Furtado Arruda, Giovanni Cordeiro Barroso
- Metodologia para Desenvolvimento de Sistemas de Diagnóstico de Faltas em Subestações de Sistemas Elétricos de Potencia baseada em Redes de Petri
- Pedro Henrique Ferreira Machado
- SuperSin - Uma Ferramenta para Síntese de Supervisores baseada em Redes de Petri com Funções de Habilitação das Transições
- Uma Nova Metodologia para a Sintese de Supervisores Baseada em Redes de Petri com Funções de Habilitação das transições