E-mail: basilio [AT] dee [DOT] ufrj [DOT] br

Professor
Ph.D., University of Oxford, 1995

Atua nas seguintes subáreas e linhas de pesquisa do PEE:

• Automação Industrial
• Controle Supervisório
• Deteção de Falhas de Sistemas a Eventos Discretos
• Modelagem e Análise de Sistemas Sincronizados Utilizando Álgebra Max-Plus
• Sistemas Híbridos
• Energia Renovável

Currículo nas bases de dados:

• LATTES

Disciplinas ministradas:

• CPE739 - Sistemas a Eventos Discretos
• COE846 - Matemática Discreta
• CPE748 - Sistemas a Eventos Discretos Estocásticos
• CPE746 - Introdução à Modelagem Probabilistica
• COE830 - Tópicos Especiais em Sistemas de Controle
• CPE743 - Controle Supervisório
• CPE841 - Ciência Computacional para Controle
• COE741 - Introdução aos Sistemas Dinâmicos
• COE735 - Sistemas Lineares II
• COE708 - Pesquisas de Tese de Mestrado

Teses orientadas até a presente data:

• Um Modelo em Redes de Petri para Determinação de Estratégias de Balanceamento de Sistemas Públicos de Compartilhamento de Bicicletas (mestrado)
• Aspectos Computacionais Associados à Implementação de Algorítmos para Sistemas a Eventos Discretos (doutorado)
• Diagnose de Falhas de Sistemas a Eventos Discretos com Transições Ponderadas (mestrado)
• Controle Supervisório Robusto de Sistemas a Eventos Discretos Sujeitos a Perdas Intermitentes de Observação (mestrado)
• Algoritmos em Tempo Polinomial para Verificação da Observabilidade e Normalidade de Linguagens Regulares (mestrado)
• Diagnose Robusta de Sistemas a Eventos Discretos (doutorado)
• Diagnose Robusta de Sistemas a Eventos Discretos Sujeitos à Perda Permanente de Sensores (mestrado)
• Desenvolvimento de uma Arquitetura de Navegação Deliberativa para Robôs Móveis Utilizando a Teoria de Controle Supervisório (mestrado)
• Um modelo em rede de Petri para o sistema automático de injeção de uma máquina injetora de plástico (mestrado)
• Uso de Algoritmos Genéticos no Projeto de Controladores PID Ótimos para Plantas Estáveis ou Instáveis (mestrado)
• Decomposição em forma de Smith utilizando forma canônica de Jordan (mestrado)
• Uma Contribuição por Meio de Pré-compensação Normalizante e Parametrização para Utilização Efetiva do Método do Lugar Característico (doutorado)
• Algoritmos para Matrizes Polinomiais (mestrado)
• Um Laboratório para um Curso de Automação Industrial Utilizando a Teoria de Sistemas a Eventos Discretos (mestrado)
• Controle Robusto Hinfinito Aplicado a Motores de Indução (mestrado)
• Controladores Robustos Hinfinito não Frágeis (mestrado)