área de pesquisa
- Explorando o Uso de Distinguidores e de Autômatos Finitos Estendidos na Teoria do Controle Supervisório de Sistemas a Eventos Discretos.
- Igor cohen calixto
- João Bosco Furtado Arruda, Giovanni Cordeiro Barroso
- SuperSin - Uma Ferramenta para Síntese de Supervisores baseada em Redes de Petri com Funções de Habilitação das Transições
- Tatiana Renata Garcia
- UM SISTEMA DIFUSO PARA O CONTROLE DE TEMPERATURA DE UNIDADES DE PROCESSAMENTO EM BATELADA
- Uma Nova Metodologia para a Sintese de Supervisores Baseada em Redes de Petri com Funções de Habilitação das transições