PhD Thesis
- Title: Verificação de Conflito na Supervisão de Sistemas Concorrentes usando Abstrações
Author: PATRÍCIA NASCIMENTO PENA
- Title: Control of Discrete-event Systems Subjecto to Cyber Attacks
Author: MICHEL RODRIGO DAS CHAGAS ALVES
- Title: Fault-Tolerant Supervisory Control of Autonomous Vehicles Using the Concept of Opacity
Author: JAIME ARTURO DULCE GALINDO
- Title: Aplicação de Autômatos Sincronizáveis na Segurança de Sistemas a Eventos Discretos
Author: LUCAS VINÍCIUS RIBEIRO ALVES
- Title: Método para Sequenciamento de Tarefas em Sistemas Flexíveis de Manufatura baseado em Metaheurísticas e Controle Supervisório
Author: TATIANA ALVES COSTA
Master Dissertations
- Title: Implementação de Controle Supervisório em CLP de um Sistema Flexível de Manufatura com Aplicação em Planta Física e Virtual
Author: GABRIEL MIRANDA FREITAS
- Title: Tradução Automática de Problemas de Escalonamento Job Shop Flexível com Bloqueio para Autômatos Utilizando a Teoria de Controle Supervisório.
Author: DANIEL SARSUR CÂMARA
- Title: Abstração do Supervisor para Sistemas com Retrabalho Visando a Solução de um Problema de Planejamento.
Author: FRANKLIN M. GARCIA-ACEVEDO
- Title: Estudo do Desempenho do Cluster Tool – Abordagem Baseada na Teoria de Controle Supervisório
Author: MÁRCIO JÚNIOR NUNES
- Title: Abstrações de Supervisores Localmente Modulares para Aplicação na Solução de Problemas de Planejamento
Author: MICHEL RODRIGO DAS CHAGAS ALVES
- Title: Solution of a Scheduling Problem Using an Abstraction of the Closed Loop Behaviour of a Discrete Event System.
Author: GUSTAVO CAETANO RAFAEL
- Title: Abstração do Supervisor para a Aplicação na Solução de Problemas de Planejamento
Author: JULIANA NOGUEIRA VILELA
- Title: Planejamento da Produção em Sistemas a Eventos Discretos – Análise Lógica e Temporal
Author: LUCAS VINÍCIUS RIBEIRO ALVES
- Title: Verificação e Busca da Propriedade do Observador em Sistemas a Eventos Discretos
Author: HUGO JERZY BRAVO CIPRIANO
- Title: Estudo e Implementação de Técnicas de Controle de Sistemas a Eventos Discretos em CLP: Aplicação em um Sistema Flexível de Manufatura Didático
Author: JONATHAN SILVA REZENDE
- Title: Escalonamento Ótimo de um Sistema Flexível de Manufatura com Controle Supervisório
Author: REGIANE DE SOUSA E SILVA
Undergraduate Final Projects
- Title: Otimização do Sequenciamento de Tarefas em Ambientes Flexíveis de Manufatura por meio de Metaheurísticas e Controle Supervisório
Author: Ana Clara Pereira Gonçalves
Supervisor: Prof. Patrícia Pena and Prof. Daniel Sarsur Câmara
- Title: Planejamento e otimização da produção de uma fábrica de tintas usando a Teoria de Controle Supervisório e Heurísticas
Author: HICARO HIAGO LOPES SOARES
Supervisor: Prof. Patrícia Pena and Prof. Daniel Sarsur Câmara
- Title: Geração Automática de Código para Arduino com base na Teoria de Controle Supervisório de Sistemas a Eventos Discretos
Author: MATHEUS PAIVA LOURES
Supervisor: Prof. Lucas Vinicius Ribeiro Alves and Prof. Patrícia Pena
- Title: Automação e Gerenciamento de Servidores Dedicados para plataforma multiusuário
Author: LUCIANO MOTA MORAES
Supervisor: Prof. Lucas Vinicius Ribeiro Alves and Prof. Patrícia Pena
- Title: Identificação de DNAs satélite em uma sequência de DNA por meio de autômatos
Author: LUCAS MARQUES CAPELLINI
Supervisor: Prof. Patrícia Pena - Title: Desenvolvimento de um Twin Digital para um Protótipo de um Sistema Flexível de Manufatura
Author: GUILHERME GAZONI PAPA
Supervisor: Prof. Patrícia Pena
- Title: Controle do Subsistema de Suprimento de Energia do PdQSat Utilizando um Modelo de Sistemas a Eventos Discretos
Author: ELDER JÚNIOR TEVES DOS SANTOS
Supervisor: Prof. Maria Cecilia Pereira and Prof. Patrícia Pena - Title: Análise de Diferentes Abordagens para Modelagem, Simulação e Controle de Curvas Coordenadas
Author: KAREN RIBEIRO OLIVEIRA
Supervisor: Prof. Maria Cecilia Pereira and Prof. Patrícia Pena - Title: Implementação em CLP de um Sistema Flexível de Manufatura sob o enfoque da Teoria de Controle Supervisório de Sistemas a Eventos Discretos
Author: JOÃO KLEBER BARBOSA RODRIGUES
Supervisor: Prof. Patrícia Pena and Gustavo Caetano Rafael
- Title: Análise das Linhas de Produção de Peças da Carroceria de um Automóvel atráves da Teoria de Controle Supervisório.
Author: GUILHERME HENRIQUE FERREIRA SALES
Supervisors: Prof. Patrícia Pena and Gustavo Caetano Rafael
- Title: Análise de ferramentas para o desenvolvimento de uma simulação para o Sistema Flexível de Manufatura
Author: JÉSSICA COELHO TORRES
Supervisors: Prof. Patrícia Pena and Gustavo Caetano Rafael
- Title: Desenvolvimento da Biblioteca clDES: Algoritmos Paralelos para Sistemas a Eventos Discretos em Plataformas Heterogêneas
Author: ADRIANO DE ARAÚJO ABREU MOURÃO
Supervisors: Prof. Patrícia Pena and Lucas Alves
- Title: Desenvolvimento de uma Planta Didática para Ensino de Controle de Sistemas a Eventos Discretos
Author: FILIPE AUGUSTO AZEVEDO CAIXETA
Supervisors: Prof. Patrícia Pena, Gustavo Rafael and Michel Alves
- Title: Aplicação do Algoritmo de Seleção Clonal a um Problema de Sequenciamento e Planejamento de Rotas Usando Controle Supervisório
Author: CAROLINA REGGIANI CÂMARA
Supervisor: Patrícia Pena
- Title: Desenvolvimento de uma Ferramenta para a Geração de Gráficos de Autômatos Utilizando a Plataforma .NET
Author: NELSON FILIPE ARAUJO DIAS
Supervisors: Patrícia Pena and Lucas Alves
- Title: Aprimoramento das Estruturas de Dados do UltraDES – Uma Biblioteca para Modelagem, Análise e Controle de Sistemas a Eventos Discretos
Author: LUCAS RANGEL RODRIGUES MARTINS
Supervisors: Patrícia Pena and Lucas Alves
- Title: Aplicação da Ferramenta de Verificação Formal UPPAAL na Obtenção de Planos de Produção para Sistemas de Manufatura Modelados como Sistemas a Eventos Discretos
Author: ROGGER LACERDA GONTIJO
Supervisors: Patrícia Pena
- Title: Análise do Processo de Roteamento de Minério Baseada na Teoria de Controle Supervisório
Author: TASSIO ABREU DE SOUZA
Supervisors: Prof. Patrícia Pena and Eng. Carlos Filipe Paula Lima
- Title: Sequenciamento de Movimentos Utilizando Sistemas a Eventos Discretos para uma Tarefa com Interface Homem-Máquina
Author: ANA CHRISTINE DE OLIVEIRA
Supervisors: Prof. Bruno Vilhena Adorno and Prof. Patrícia Pena
- Title: Utilizando a Metodologia Controle Supervisório e Otimização em Sistemas a Eventos Discretos: Uma Abordagem com Autômatos Estendidos
Author: DENNIS CARVALHO COUTO
Supervisors: Prof. Patrícia Pena and Tatiana Costa
- Title: Desenvolvimento de uma Biblioteca para Sistemas a Eventos Discretos para Plataforma .NET
Author: LUCAS VINÍCIUS RIBEIRO ALVES
Supervisors: Prof. Patrícia Pena
- Title: Contribuições para um Protótipo de um Sistema Flexível de Manufatura: Adaptação da Arquitetura Utilizando o Arduino
Author: PEDRO PAULO BERGAMINI BRAGA
Supervisors: Prof. Patrícia Pena and Hugo Bravo
- Title: Integração da Otimização com o Controle Supervisório em um Protótipo de um Sistema Flexível de Manufatura
Author: DANIEL EUGÊNIO MOREIRA DA COSTA
Supervisors: Prof. Patrícia Pena and Prof. Carmela Braga
- Title: Projeto e Implementação de Controladores para Módulos Didáticos de Ensino de Controle
Author: BRUNO COSTA DE ALMEIDA PINHO
Supervisors: Prof. Bruno Teixeira, Prof. Patrícia Pena and Prof. Maria Auxiliadora Persechini
- Title: Proposta de Racionalização dos Alarmes em uma Usina Termoelétrica
Author: MAINDA QUINTELA DE SILVA ARAÚJO
Supervisors: Prof. Patrícia Pena and Prof. Hugo Michel
- Title: Modelagem e Simulação de Sistemas de Tráfego Urbano
Author: RICARDO M. C. ROCHA
Supervisors: Prof. Patrícia Pena