Leonardo Albuquerque de Oliveira. Segurança de Trabalho na Plataforma MECATRIME. Programa Institucional de Bolsas de Iniciação Cientifica, IME, 2020.
Raquel Radoman. APLICAÇÃO DA TEORIA DE CONTROLE SUPERVISÓRIO À SÍNTESE E IMPLEMENTAÇÃO DO CONTROLE DISCRETO DE SISTEMAS AUTOMATIZADOS: ESTUDO DE CASO DE UM SISTEMA PICK & PLACE ATRAVÉS DO EMPREGO DE MÉTODOS FORMAIS DE ENGENHARIA DE AUTOMAÇÃO. Inicação Científica, PIBITI-IME-CNPq, 2012.
Thassia Lopes Correia dos Santos. APLICAÇÃO DA TEORIA DE CONTROLE SUPERVISÓRIO À SÍNTESE E IMPLEMENTAÇÃO DO CONTROLE DISCRETO DE SISTEMAS AUTOMATIZADOS: ESTUDO DE CASO DE UM SISTEMA PALETIZADOR ATRAVÉS DO EMPREGO DE MÉTODOS FORMAIS DE ENGENHARIA DE AUTOMAÇÃO. Inicação Científica, PIBITI-IME-CNPq, 2012.
Carlos Yberê Campelo Rodrigues. Modelagem e Controle de Sistemas Mecatrônicos. Inicação Científica, PIBITI-IME-CNPq, 2011.