Antonio Eduardo Carrilho da Cunha

Antonio Eduardo Carrilho da Cunha, natural do Rio de Janeiro, Brasil, obteve seu diploma de Bacharel em Engenharia Eletrônica pelo Instituto Militar de Engenharia (IME) em 1994. Completou seu doutorado em Engenharia Elétrica, com foco em Automação e Sistemas, pela Universidade Federal de Santa Catarina (UFSC) em 2003. Durante seus estudos de doutorado, realizou um estágio sanduíche na Universidade Carnegie Mellon (CMU), de junho de 2001 a março de 2002. Após concluir seu doutorado, Antonio começou a atuar como instrutor militar no IME, papel que continua a desempenhar. Em novembro de 2014, embarcou em um estágio de pós-doutorado no VERIMAG, França, concluindo-o em maio de 2015. Entre 2015 e 2021, desempenhou um papel crucial como coordenador do Programa de Pós-Graduação em Engenharia de Defesa no IME (PGED-IME). Atualmente, Antonio não é apenas oficial da reserva do Exército Brasileiro, mas também contribui como Prestador de Tarefa por Tempo Certo (PTTC) no IME e como membro do corpo docente no Ibmec-RJ. Sua pesquisa explora principalmente as ciências da automação e engenharia de sistemas, enfatizando aplicações inovadoras em manufatura, mecatrônica e cibernética, onde seu trabalho tem levado a avanços significativos.

Informações coletadas do Lattes em 12/05/2024

Acadêmico

Formação acadêmica

Doutorado em Engenharia Elétrica

1998 - 2003

Universidade Federal de Santa Catarina
Título: Contribuição ao Controle Supervisório de Sistemas a Eventos Discretos
Orientador: José Eduardo Ribeiro Cury
com Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Sistemas a Eventos Discretos; Controle; Automação; Robótica.Grande área: EngenhariasSetores de atividade: Industria Eletro-Eletrônica; Fabricação de Material Eletrônico Básico.

Graduação em Engenharia Eletrônica

1990 - 1994

Instituto Militar de Engenharia
Título: Controlabilidade Horizontal e Unidimensional de um Pêndulo Invertido sobre Base Móvel
Orientador: Ney Bruno

Pós-doutorado

2014

Pós-Doutorado. , Verimag, VERIMAG, França. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. , Grande área: Ciências Exatas e da Terra, Grande Área: Engenharias / Área: Engenharia Elétrica.

Formação complementar

2003 - 2003

Curso de Aperfeiçoamento Militar. , Escola de Aperfeiçoamento de Oficiais, EsAO, Brasil.

1997 - 1997

Introdução à Pneumática. (Carga horária: 60h). , Evatek Consultoria Ltda, EVATEK, Brasil.

1996 - 1996

Básico de Instrumentação. (Carga horária: 40h). , Instituto Brasileiro de Petróleo, IBP, Brasil.

1983 - 1995

Inglês. (Carga horária: 780h). , Centro de Cultura Anglo Americana, CCAA, Brasil.

1993 - 1994

Curso de Formação e Graduação de Of. Eng. Militar. , Instituto Militar de Engenharia, IME, Brasil.

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Espanhol

Compreende Bem, Fala Razoavelmente, Lê Razoavelmente, Escreve Pouco.

Bandeira representando o idioma Francês

Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Áreas de atuação

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos/Especialidade: Automação Eletrônica de Processos Elétricos e Industriais.

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos/Especialidade: Controle de Processos Eletrônicos, Retroalimentação.

Participação em eventos

XIX Congresso Brasileiro de Automática, CBA 2012. 2012. (Congresso).

XVIII Congresso Brasileiro de Automática. Verificação de Programas de CLP. 2010. (Congresso).

II Colóquio de Controle e Automação da UTFPR.Uma visão Geral sobre os Sistemas a Eventos Discretos: Problemas, Abordagens e Aplicações. 2009. (Encontro).

IX Simpósio Brasileiro de Automação Inteligente.Aplicação da Síntese de Supervisores de Sistemas Híbridos ao Planejamento de Missões de Veículos Aéreos Não Tripulados. 2009. (Simpósio).

Latin America Aero & Defence 09. 2009. (Outra).

I Simpósio do DCT sobre Veículos Aéreos Não-Tripulados (I SIMVANT).Sistemas de Veículos Autônomos Não Tripulados. 2008. (Simpósio).

XVII Congresso Brasileiro de Automática. Verificação de Sistemas Híbridos para o Planejamento de Missões de Veículos Aéreos Não-Tripulados. 2008. (Congresso).

1st IFAC Workshop on Dependable Control of Discrete Systems. Synthesis of Control Structures for Hierarchical Control with Flexible Marking. 2007. (Congresso).

59a Reunião Anual da SBPC. Expositor no stand do Ministério da Defesa na Expo T&C. 2007. (Congresso).

VII Encontro de Iniciação Científica do IME. 2007. (Encontro).

58a Reunião Anual da SBPC. Expositor no stand do Ministério da Defesa na Expo T&C. 2006. (Congresso).

Congresso Brasileiro de Automática. Redução de supervisores para sistemas a eventos discretos. 2006. (Congresso).

INDUSCON 2006. INDUSCON 2006. 2006. (Congresso).

20th Iberian Latin-American Congress on Computational Methods in Engineering - XX CILAMCE. Metodologia Seqüencial para Simulação Numérica de Técnicas de Controle para Robôs Manipuladores. 2000. (Congresso).

XIII Congresso Brasileiro de Automática. Redução de Modelos para Síntese de Supervisores para Sistemas a Eventos Discretos. 2000. (Congresso).

III Workshop Internacional de Ensino em Engenharia - FORMAÇÃO DO ENGENHEIRO. 1999. (Simpósio).

III Jornada de Atualização Tecnológica: Robótica - sua Inserção no Processo Produtivo. 1998. (Encontro).

Congresso de Iniciação Científica, Tecnológica e Engenharia. Representações Matemáticas para a Polarização da Luz. 1992. (Congresso).

Participação em bancas

Aluno: Thiago Henrique de Marreiros Cordeiro Machado

Carrilho da Cunha, Antonio Eduardo; CABRAL, F. G. O.; VIANA, G. S.;MOREIRA, M. V. B.. AN EVENT-BASED AUTOMATON MODEL OF DISCRETE-EVENT SYSTEMS FOR FAULT DETECTION. 2022. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro.

Aluno: Celso Matsumi Kawamura

VALLIM, M. B. R.CARRILHO DA CUNHA, A. E.; ANGELICO, B. A.. Contribuições à Análise de Desempenho de Células de Manufatura Baseada na Teoria de Controle Supervisório. 2012. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná.

Aluno: Alexandre Jukes Pinotti

LEAL, A. B.;CARRILHO DA CUNHA, A. E.; WEHRMEISTER, M. A.. Um Método para Projeto de Sistemas Embarcados Baseado no Controle Supervisório Modular Local. 2012. Dissertação (Mestrado em Engenharia Elétrica) - Universidade do Estado de Santa Catarina.

Aluno: Jonatas Pavei

FARINES, J. M.;CURY, J. E. R.QUEIROZ, M. H.; MORENO, U. F.;CARRILHO DA CUNHA, A. E.. Coordenação de Sistemas Multi-Robôs utilizando Métodos baseados em Autômatos. 2011. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

Aluno: Thiago Cerqueira de Jesus

MOREIRA, M. V. B.; Bhaya, A.;CARRILHO DA CUNHA, A. E.. DIAGNOSTICABILIDADE E DIAGNOSE ON-LINE DE FALHAS DE SISTEMA A EVENTOS DISCRETOS MODELADOS POR AUTÔMATOS FINITOS. 2011. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro.

Aluno: Humberto Cardoso da Costa

CAMPOS, M.C.M.M.CARRILHO DA CUNHA, A. E.ADES, R.GOMES, G. M. P.. Aplicação de Técnicas de Controle em Sistemas do Tipo Ponte Rolante. 2010. Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia.

Aluno: Lucas Molina

BASILIO, J. C. S.; FREIRE, E. de O.;HSU, L.CARRILHO DA CUNHA, A. E.. Uma Arquitetura de Navegação Deliberativa Utilizando a Teoria de Controle Supervisório. 2010. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro.

Aluno: MATEUS FEIJÓ DE SOUZA

FARINES, J. M.;QUEIROZ, M. H.CARRILHO DA CUNHA, A. E.; BECKER, L. B.; STEMMER, M. R.. Modelagem e Verificação de Programas de CLP Escritos em Diagramas Ladder. 2010. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

Aluno: Olinda de Lima Farias Alves

CARRILHO DA CUNHA, A. E.; TORRES, L. A. B.;GOMES, G. M. P.; MENEGALDO, L. L.. Modelagem de um VANT de Asas Fixas para o Planejamento e Controle de Missões. 2010. Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia.

Aluno: Roberto Ortiz Garrido

CURY, J. E. R.GOMES, G. M. P.; GOIS, J. A. M.;CARRILHO DA CUNHA, A. E.. Aplicação da Síntese de Supervisores de Sistemas Híbridos ao Planejamento de Missões de Veículos Aéreos Não Tripulados. 2009. Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia.

Aluno: Fabio Luiz Firmino

ADES, R.GOMES, G. M. P.; SILVEIRA, M. A.;CARRILHO DA CUNHA, A. E.. Simulação e Controle de um Helicóptero a partir de Modelos Linearizados em Sete Pontos de Operação. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia.

Aluno: Francisco de Assis Carvalho da Silva Neto

QUEIROZ, M. H.; BITTENCOURT, G.;CARRILHO DA CUNHA, A. E.; FARINES, J. M.; CAMPONOGARA, E.. Marcação de Eventos e Redução de Supervisores por Métodos de Otimização. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Wander Ferreira Martins

CAMPOS, M.C.M.M.GOMES, G. M. P.CARRILHO DA CUNHA, A. E.. Controle Fuzzy em Tempo Real, Aplicado ao Sistema Plataforma-Esfera. 2007. Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia.

Aluno: Ilka Cristina Fernandes de Souza Telles

LIZARRALDE, F. C.; CANABRAVA FILHO, J. S.;CARRILHO DA CUNHA, A. E.; Bhaya, A.. Desenvolvimento de um Modelo para o Sistema de Automação de uma Máquina Injetora de Plástico utilizando Redes de Petri. 2007. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro.

Aluno: Manuel Humberto Manyari Rivera

CAMPOS, M.C.M.M.CARRILHO DA CUNHA, A. E.; KASZKUREWICZ, E.; Bhaya, A.. Diagnóstico de Falhas de Sistemas a Eventos Discretos: uma proposta de aplicação a um Processo de Separação Óleo-Gás. 2007. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro.

Aluno: Ricardo Maroquio Bernardo

CLUA, E. W. G.;PELLANDA, P. C.CARRILHO DA CUNHA, A. E.ROSA, P. F. F.. SIMUBLIMP - Uma Contribuição ao Desenvolvimento de Algoritmos Inteligentes para uma Equipe de Dirigíveis Robóticos Autônomos. 2007. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.

Aluno: Wander Ferreira Martins

Amaral, J.F.M.;GOMES, G. M. P.CARRILHO DA CUNHA, A. E.. Lógica Nebulosa no Controle de um Sistema Plataforma-Esfera. 2006. Dissertação (Mestrado em Pós-Graduação em Engenharia Mecatrônica) - Universidade do Estado do Rio de Janeiro.

Aluno: Christianne Reiser

CURY, J. E. R.; FARINES, J. M.; BITTENCOURT, G.;CARRILHO DA CUNHA, A. E.. O Ambiente Grail para Controle Supervisório de Sistemas a Eventos Discretos: Reestruturação e Implementação de Novos Algoritmos. 2005. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: [Nome removido após solicitação do usuário]

CURY, J. E. R.ADES, R.PELLANDA, P. C.CARRILHO DA CUNHA, A. E.. Contribuições à Redução de Supervisores para Sistemas a Eventos Discretos. 2005. Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia.

Aluno: Gilmar Tadeu Figueiredo Cainelli

GOMES, G. M. P.; MENEGALDO, L. L.;CARRILHO DA CUNHA, A. E.. Modelagem, Implementação e Controle com Vídeo-Sensoreamento de uma Esfera sobre Plataforma. 2005. Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia.

Aluno: Sandro Santos de Lima

ROSA, P. F. F.; VELLASCO, M M B R;CARRILHO DA CUNHA, A. E.; ISHIKAWA, E; Goldschmidt, R R. Análise e Desenvolvimento de um Ambiente de Simulação para Aplicações Domóticas. 2005. Dissertação (Mestrado em Engenharia de Sistemas - Informatica) - Instituto Militar de Engenharia.

Aluno: Fabio Salgado Gomes Sagaz

CAMPOS, M.C.M.M.GOMES, G. M. P.CARRILHO DA CUNHA, A. E.. Sistema Baseado em Lógica Nebulosa Aplicado ao Controle dos Níveis de um Processo Multivariável com Quatro Tanques. 2003. Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia.

Aluno: José Carlos Leão Veloso Silva

PELLANDA, P. C.CARRILHO DA CUNHA, A. E.. Modelagem, Controle e Simulação da Dinâmica Eletromecânica de uma Micro Usina Hidrelétrica na Amazônia. 2003. Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia.

Aluno: Francisco Eduardo Lima de Medeiros

PELLANDA, P. C.ADES, R.CARRILHO DA CUNHA, A. E.. Técnicas H_inf com Escalonamento de Ganhos Aplicadas no Sistema de Controle de Atitude de Veículos Lançadores de Satélites. 2003. Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia.

Aluno: Raphael Julio Barcelos

BASILIO, J. C. S.MOREIRA, M. V. B.CURY, J. E. R.PENA, P. N.Carrilho da Cunha, Antonio Eduardo. NOVAS ABORDAGENS PARA PREDIÇÃO DE FALHAS E FORÇAMENTO DE OPACIDADE EM SISTEMAS A EVENTOS DISCRETOS. 2022. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro.

Aluno: Jaime Arturo Dulce Galindo

PENA, P. N.Carrilho da Cunha, Antonio Eduardo. FAULT-TOLERANT SUPERVISORY CONTROL OF AUTONOMOUS VEHICLES USING THE CONCEPT OF OPACITY. 2022. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Minas Gerais.

Aluno: Adão de Melo Neto

ROSA, P. F. F.PELLANDA, P. C.CARRILHO DA CUNHA, A. E.; NOYA, R. C.; ROMANO, V. F.; VELLASCO, M. M. B. R.; GONCALVES, L. M. G.. Mapeamento de Ambiento Interno Semi-Estruturado com Múltiplos Veículos Utiizando Sensor Visual Embarcado. 2012. Tese (Doutorado em Engenharia de Defesa) - Instituto Militar de Engenharia.

Aluno: Patrícia Nascimento Pena

CURY, J. E. R.CARRILHO DA CUNHA, A. E.; LUDERS, R.; BITTENCOURT, G.;QUEIROZ, M. H.; NEGRI, V. J.. Verificação de Conflito na Supervisão de Sistemas Concorrentes Usando Abstrações. 2007. Tese (Doutorado em PROGRAMA DE POS GRADUAÇÃO EM ENGENHARIA ELETRICA) - Universidade Federal de Santa Catarina.

Aluno: André Bittencourt Leal

CURY, J. E. R.; BITTENCOURT, G.;CARRILHO DA CUNHA, A. E.. Controle Supervisório Modular de Sistemas Híbridos. 2005. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Fabio Luis Baldissera

QUEIROZ, M. H.; PORTO, L. M.; MANSUR, D. S.;PENA, P. N.CARRILHO DA CUNHA, A. E.. UMA ABORDAGEM AO PROBLEMA DE CONTROLE DE REDES BIOLÓGICAS BASEADA NA TEORIA DE CONTROLE SUPERVISÓRIO. 2012. Exame de qualificação (Doutorando em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

Aluno: Leonardo Bermeo Clavijo

CARRILHO DA CUNHA, A. E.MOREIRA, M. V. B.BASILIO, J. C. S.. Aspectos Computacionais Associados à Implementação de Algoritmos para Sistemas a Eventos Discretos. 2012. Exame de qualificação (Doutorando em Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro.

Aluno: Marcelo Teixeira

FARINES, J. M.;CARRILHO DA CUNHA, A. E.; LEAL, A. B.; NEGRI, V. J.; STEMMER, M. R.. Usando Distinguidores no Controle Supervisório Modular Local de Sistemas a Eventos Discretos. 2011. Exame de qualificação (Doutorando em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

Aluno: Patrícia do Nascimento Pena

CURY, J. E. R.; BITTENCOURT, G.;CARRILHO DA CUNHA, A. E.. Explorando Aspectos Estruturais na Síntese de Supervisores para Sistemas Compostos. 2005. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

VALLIM, M. B. R.; BERNUY, M. A. C.;Carrilho da Cunha, Antonio Eduardo. Concurso Público para Professor do Magistério Superior no Campus Cornélio Procópio. 2022. Universidade Tecnológica Federal do Paraná.

VALLIM, M. B. R.; SUMAR, R.;CARRILHO DA CUNHA, A. E.. Banca Examinadora de Concurso Público da UTFPR Campus Cornélio Procópio referente ao Edital nr 31/2012. 2012. Universidade Tecnológica Federal do Paraná.

VALLIM, M. B. R.; SUMAR, R.;CARRILHO DA CUNHA, A. E.. Banca Examinadora de Concurso Público da UTFPR Campus Cornélio Procópio referente ao Edital nr 48/2012. 2012. Universidade Tecnológica Federal do Paraná.

VALLIM, M. B. R.; SOUZA, C. F. L. N.;CARRILHO DA CUNHA, A. E.. Concurso Publico para Professor de Ensino Superior no Campus Cornelio Procopio - Eletrical Automayao Industrial. 2010. Universidade Tecnológica Federal do Paraná.

Orientou

FERNANDO NUNES DE ALMEIDA

MELHORIA DA RESILIÊNCIA CIBERNÉTICA ATRAVÉS DA DIVERSIFICAÇÃO DE RECURSOS DE REDE UTILIZANDO APRENDIZADO DE MÁQUINA; Início: 2023; Dissertação (Mestrado em Engenharia de Defesa) - Instituto Militar de Engenharia; (Coorientador);

Hanameel Carlos Vieira Gomes

PROPOSTA DE UM MODELO DE GESTÃO DE PRODUÇÃO INTEGRANDO PRINCÍPIOS DA MANUFATURA ENXUTA; Início: 2023; Dissertação (Mestrado em Engenharia de Defesa) - Instituto Militar de Engenharia; (Coorientador);

PABLO GUSTAVO COGO POCHMANN

EMPREGO DA HEURÍSTICA DE USABILIDADE NO APRIMORAMENTO DE REQUISITOS DE SISTEMAS E MATERIAIS DE EMPREGO MILITAR; Início: 2023; Dissertação (Mestrado em Engenharia de Defesa) - Instituto Militar de Engenharia; (Coorientador);

Irony Nunes de Oliveira

BOAS PRÁTICAS DE GESTÃO ÁGIL DE PRODUTIVIDADE EM PROJETOS E PROGRAMAS DE PESQUISA, DESENVOLVIMENTO E INOVAÇÃO; Início: 2023; Dissertação (Mestrado em Engenharia de Defesa) - Instituto Militar de Engenharia; (Coorientador);

Leonardo de Mello Barbosa

Estruturação de linguagem natural para documentação de requisitos de sistemas e materiais de emprego militar no idioma português; Início: 2022; Tese (Doutorado em Engenharia de Defesa) - Instituto Militar de Engenharia; (Orientador);

Igor Cohen Calixto

Controle Supervisório Hierárquico Baseado em Interface aplicado à Segurança Cibernética de Sistemas Industriais de Automação e Controle; Início: 2021; Tese (Doutorado em Engenharia de Defesa) - Instituto Militar de Engenharia; (Orientador);

Guilherme Neves Lopes

MÉTODO PARA DETECÇÃO E CLASSIFICAÇÃO DE ATAQUES CIBERNÉTICOS EM INFRAESTRUTURAS CRÍTICAS COM FOCO EM SISTEMAS ELÉTRICOS DE POTÊNCIA: UMA ABORDAGEM DE MINERAÇÃO DE PROCESSOS; Início: 2021; Tese (Doutorado em Engenharia de Defesa) - Instituto Militar de Engenharia; (Orientador);

GABRIEL LAPORT VARGAS

SISTEMAS COM PONDERAÇÕES TEMPORAIS E BUSCA CLONAL PARA A REDUÇÃO DO MAKESPAN DA PLATAFORMA MECATRIME; 2020; Dissertação (Mestrado em Engenharia de Defesa) - Instituto Militar de Engenharia,; Orientador: Antonio Eduardo Carrilho da Cunha;

Rodrigo Martins da Silva

MINERAÇÃO DE PROCESSOS APLICADA À SEGURANÇA CIBERNÉTICA DE SISTEMAS DE AUTOMAÇÃO E CONTROLE INDUSTRIAIS; 2020; Dissertação (Mestrado em Engenharia de Defesa) - Instituto Militar de Engenharia,; Orientador: Antonio Eduardo Carrilho da Cunha;

Thiago Guerra Rosado Cruz

APLICAÇÃO DE MODEL CHECKING AO PROJETO DE AUTOMAÇÃO NO CONTEXTO DO TRANSPORTE DUTOVIÁRIO; 2020; Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia,; Orientador: Antonio Eduardo Carrilho da Cunha;

Igor Cohen Calixto

Controle Supervisório Hierárquico Baseado em Interfaces: Caso Mecatrime; 2018; Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Antonio Eduardo Carrilho da Cunha;

Rárisson Queiroz Hiário

Estudo de Caso de Controle Supervisório Tolerante a Perdas Intermitentes de Observação: Planta MECATRIME; 2018; Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Antonio Eduardo Carrilho da Cunha;

Melquisedeque Damasceno do Nascimento

Desenvolvimento de um controlador para redução do tempo de produção de um sistema CIM: estudo de caso da planta MECATRIME; 2018; Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Antonio Eduardo Carrilho da Cunha;

Thiago Monteiro Tuxi

CONTRIBUIÇÕES AO CONTROLE DE SISTEMAS COM PONDERAÇÕES TEMPORAIS; 2017; Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Antonio Eduardo Carrilho da Cunha;

Eduardo Ottavio Chianello Correia

Minimização do tempo de uma Produção em um Sistema industrial CIM Utilizando Autômatos Temporizados; 2017; Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Antonio Eduardo Carrilho da Cunha;

João Aurélio Vieira Rodriguez

Validação e Análise de Desempenho de Lógica de Controle Sintetizada pela Teoria de Controle Supervisório; 2013; Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia,; Orientador: Antonio Eduardo Carrilho da Cunha;

Raquel Stella da Silva de Aguiar

BUSCA HEURÍSTICA NA OBTENÇÃO DE SUPERVISORES PARCIALMENTE APROXIMADOS POR DISTINGUIDORES PARA COORDENAÇÃO DE SISTEMAS MULTIVEICULARES; 2012; Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia,; Orientador: Antonio Eduardo Carrilho da Cunha;

ANNE ELISE PEIXOTO CARVALHO

Modelagem e Identificação da Dinâmica de Atitude de um Helicóptero com Dois Graus de Liberdade; 2012; Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia,; Coorientador: Antonio Eduardo Carrilho da Cunha;

Hugo Jerzy Bravo Cipriano

VERIFICAÇÃO, BUSCA E APLICAÇÃO DA PROPRIEDADE DE OBSERVADOR NO CONTROLE SUPERVISÓRIO DE SISTEMAS A EVENTOS DISCRETOS; 2011; Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Antonio Eduardo Carrilho da Cunha;

Olinda de Lima Farias Alves

Modelagem de uma Aeronave de Asas Fixas para o Planejamento e Controle de Missões de VANTs; 2009; Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia,; Orientador: Antonio Eduardo Carrilho da Cunha;

Roberto Ortiz Garrido

Aplicação da Síntese de Supervisores de Sistemas Híbridos ao Planejamento de Missões de Veículos Aéreos Não-Tripulados; 2008; Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Antonio Eduardo Carrilho da Cunha;

Wander Ferreira Martins

CONTROLADOR NEBULOSO APLICADO AO SISTEMA PLATAFORMA-ESFERA; 2007; Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Antonio Eduardo Carrilho da Cunha;

Alexandre de Mello Silva

Verificação de Modelos Aplicada ao Projeto de Sistemas Instrumentados de Segurança: Exploração de Aspectos Temporais; 2007; Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia,; Orientador: Antonio Eduardo Carrilho da Cunha;

George de Souza Costa

Verificação de Modelos Aplicada ao Planejamento de Trajetórias de Veículos Aéreos Não Tripulados; 2007; Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia,; Orientador: Antonio Eduardo Carrilho da Cunha;

[Nome removido após solicitação do usuário]

Contribuições a Redução de Supervisores para Sistemas a Eventos Discretos; 2005; Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Antonio Eduardo Carrilho da Cunha;

Wagner Tanaka Botelho

Um Sistema de Identificação e Adaptação Pervasivo para a Casa Inteligente Utilizando Sistemas Multiagentes; 2005; Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Antonio Eduardo Carrilho da Cunha;

Carlos Henrique da Costa Oliveira

VERIFICAÇÃO DE MODELOS APLICADA AO PROJETO DE SISTEMAS INDUSTRIAIS AUTOMATIZADOS POR CONTROLADORES LÓGICOS PROGRAMÁVEIS; 2005; Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Antonio Eduardo Carrilho da Cunha;

Gilmar Tadeu Figueiredo Cainelli

Modelagem, Implementação e Controle com vídeo-sensoriamento de uma esfera sobre plataforma; 2005; Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Antonio Eduardo Carrilho da Cunha;

José Cerdeira Gonzalez

DESENVOLVIMENTO DE UMA METODOLOGIA FORMAL PARA EMPREGO NO PLANEJAMENTO E VALIDAÇÃO DE MISSÕES DE VEÍCULOS AÉREOS NÃO TRIPULADOS DE ASAS FIXAS; 2008; Tese (Doutorado em Engenharia de Defesa) - Instituto Militar de Engenharia,; Orientador: Antonio Eduardo Carrilho da Cunha;

Luiz Carlos Viana Francelino Filho

INDICADORES DE DESEMPENHO DE TÉCNICAS DE MITIGAÇÃO DE ATAQUES CIBERNÉTICOS EM SISTEMAS CIBERFÍSICOS; 2023; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Carlos Vinícius Pereira dos Santos

INDICADORES DE DESEMPENHO DE TÉCNICAS DE MITIGAÇÃO DE ATAQUES CIBERNÉTICOS EM SISTEMAS CIBERFÍSICOS; 2022; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

PAULO GUILHERME FARIAS DE SOUZA

INDICADORES DE DESEMPENHO DE TÉCNICAS DE MITIGAÇÃO DE ATAQUES CIBERNÉTICOS EM SISTEMAS CIBERFÍSICOS; 2022; Trabalho de Conclusão de Curso; (Graduação em Engenharia Eletrônica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Guilherme Angelo Leite

Desenvolvimento de um Quadricóptero para Monitoração Remota: Montagem, Programação e Sensoriamento; 2013; Trabalho de Conclusão de Curso; (Graduação em Engenharia Eletrônica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Victor Leal Vitor

Desenvolvimento de um Quadricóptero para Monitoração Remota: Montagem, Programação e Sensoriamento; 2013; Trabalho de Conclusão de Curso; (Graduação em Engenharia Eletrônica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Eduardo Henrique Wieser

Desenvolvimento de um Quadricóptero para Monitoração Remota: Montagem, Programação e Sensoriamento; 2013; Trabalho de Conclusão de Curso; (Graduação em Engenharia Eletrônica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Felipe Gonçalves Serrenho

Desenvolvimento de um Quadricóptero para Monitoração Remota: Comunicação Via Rádio; 2013; Trabalho de Conclusão de Curso; (Graduação em Engenharia Eletrônica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Pedro Kenzo De Alencar Ohi

Desenvolvimento de um Quadricóptero para Monitoração Remota: Comunicação Via Rádio; 2013; Trabalho de Conclusão de Curso; (Graduação em Engenharia Eletrônica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Lilian Santana de Araújo

Controle de uma rede de AGV para o transporte de peças; 2011; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Eduardo Henrique dos Santos

Controle Automático no Transporte de Cargas em Ponte Rolante; 2011; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Carlos Yberê Araújo Campelo Rodrigues

Controle Automático no Transporte de Cargas em Ponte Rolante; 2011; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Raquel Stella Aguiar

Automação de Máquina Produtora de Cordel Detonante; 2007; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Cristiane Berardinelli de Freitas

Automação de Máquina Produtora de Cordel Detonante; 2007; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Ricardo Soncim Moreira

Desenvolvimento de um Sistema Pêndulo Invertido; 2007; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Diêgo Veloso Uchôa

Desenvolvimento de um Sistema Pêndulo Invertido; 2007; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Elder Rodrigues Barbosa Campos

Desenvolvimento de um Sistema Pêndulo Invertido; 2007; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Guilherme Carlos Moreira e Silva

Simulação de Sistemas Dinâmicos Híbridos como Ferramenta para Projeto de Sistemas Complexos; 2007; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Igor Henriques Oliveira de Aragão

Controle Automático no Transporte de Cargas em Ponte Rolante; 2007; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Bruno Suarez Pompeo

Controle Automático no Transporte de Cargas em Ponte Rolante; 2007; Trabalho de Conclusão de Curso; (Graduação em Engenharia Eletrônica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Ricardo Luís de Melo

Controle de Posição dos Motores do Sistema Plataforma-Esfera por Modulação PWM; 2006; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Antonio Eduardo Carrilho da Cunha;

DANILO FERNANDES TENÓRIO

Controle de Posição dos Motores do Sistema Plataforma-Esfera por Modulação PWM; 2006; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Antonio Eduardo Carrilho da Cunha;

Leonardo Seiji Oyama

AQUISIÇÃO E PROCESSAMENTO DE IMAGENS EM TEMPO REAL PARA CONTROLE DE UM SISTEMA PLATAFORMA-ESFERA; 2006; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Sistemas) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Antonio Eduardo Carrilho da Cunha;

Danilo Habermann

SISTEMA DE CONTROLE DO PROCESSO DE FABRICAÇÃO DE CORDEL DETONANTE; 2005; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Márcio Rogério Albuquerque Gama

Controle de Posição de uma Esfera em um Plano Horizontal; 2003; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Alberto Sant'Anna Stender

Controle de Posição de uma Esfera em um Plano Horizontal; 2003; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Sam Lara de Moraes

Controle de Posição de uma Esfera em um Plano Horizontal; 2003; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Ana Caroline da Rocha Felipe Costa

INDÚSTRIA 4; 0 ? UMA PERSPECTIVA DA PLANTA MECATRIME; 2019; Iniciação Científica; (Graduando em Gestão de Produção) - Universidade Santa Úrsula, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Antonio Eduardo Carrilho da Cunha;

Leonardo Albuquerque de Oliveira

Segurança de Trabalho na Plataforma MECATRIME; 2019; Iniciação Científica; (Graduando em Engenharia Mecânica) - Universidade Santa Úrsula, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Antonio Eduardo Carrilho da Cunha;

Hugo Gomes Alves da Silva

Desenvolvimento de um sistema de posicionamento local utilizando tecnologia de Ultra-wideband; 2017; Iniciação Científica; (Graduando em Engenharia da Computação) - Instituto Militar de Engenharia, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ; Orientador: Antonio Eduardo Carrilho da Cunha;

Efísio Alves Rolim Neto

CONTROLE DE POSIÇÃO DE UM QUADRICÓPTERO; 2017; Iniciação Científica; (Graduando em Engenharia Eletrônica) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Antonio Eduardo Carrilho da Cunha;

Gustavo Claudio Karl Couto

Desenvolvimento de um sistema de captura de movimento e investigação de técnicas de odometria visual; 2016; Iniciação Científica; (Graduando em Engenharia Eletrônica) - Instituto Militar de Engenharia, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ; Orientador: Antonio Eduardo Carrilho da Cunha;

Arturo de Souza

SISTEMA CIM IME ? Estação de Montagem e Visão Computacional; 2016; Iniciação Científica; (Graduando em Engenharia Eletrônica) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Antonio Eduardo Carrilho da Cunha;

Nicolas Souza de Melo Miranda de Oliveira

SISTEMA CIM IME ? Estação de Gravação a Laser; 2016; Iniciação Científica; (Graduando em Engenharia Eletrônica) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Antonio Eduardo Carrilho da Cunha;

Guilherme de Almeida Moraes

Implementação em Microcontrolador de Lógica de Controle para Sistema de Colagem de Vidros; 2013; Iniciação Científica; (Graduando em Engenharia Eletrônica) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Antonio Eduardo Carrilho da Cunha;

Iggor Cesar Cardoso de Almeida

Implementação em CLP de Lógica de Controle para Sistema de Colagem de Vidros; 2013; Iniciação Científica; (Graduando em Engenharia Elétrica) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Antonio Eduardo Carrilho da Cunha;

Luan Machado Borges

Ambiente para Simulação a Eventos Discretos de Sistema de Colagem de Vidros; 2013; Iniciação Científica; (Graduando em Engenharia Eletrônica) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Antonio Eduardo Carrilho da Cunha;

Carla Cristina Pigorelli Carneiro

Controle de Veículos Autoguiados; 2012; Iniciação Científica - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Anna Greace Almeida Torres

Estudo de caso do sistema de um armazém automático por meio do emprego de métodos formais da engenharia de automação; 2011; Iniciação Científica; (Graduando em Engenharia Elétrica) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Antonio Eduardo Carrilho da Cunha;

Raquel Lampaça Vieira Radoman

Estudo de caso de um sistema Pick & Place através do emprego de métodos formais de engenharia de automação; 2011; Iniciação Científica; (Graduando em Engenharia Eletrônica) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Antonio Eduardo Carrilho da Cunha;

Thassia Lopes Correia dos Santos

Estudo de caso do sistema de um transelevador por meio do emprego de métodos formais da engenharia de automação; 2011; Iniciação Científica; (Graduando em Engenharia Eletrônica) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Antonio Eduardo Carrilho da Cunha;

Carlos Yberê Araújo Campelo Rodrigues

Modelagem de um Helicóptero com Dois Graus de Liberdade; 2010; Iniciação Científica; (Graduando em Engenharia Elétrica) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Antonio Eduardo Carrilho da Cunha;

Eduardo Henrique dos Santos

Controle de um Helicóptero com Dois Graus de Liberdade; 2010; Iniciação Científica; (Graduando em Engenharia Elétrica) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Antonio Eduardo Carrilho da Cunha;

Lilian Santana de Araújo

Verificação Formal de Programas de CLPs; 2009; Iniciação Científica; (Graduando em Engenharia Elétrica) - Instituto Militar de Engenharia, Fundação Ricardo Franco; Orientador: Antonio Eduardo Carrilho da Cunha;

Paulo Roberto da Silva dos Santos Júnior

Verificação Formal de Programas de CLPs; 2009; Iniciação Científica; (Graduando em Engenharia Elétrica) - Instituto Militar de Engenharia, Fundação Ricardo Franco; Orientador: Antonio Eduardo Carrilho da Cunha;

Otto Carlos Lippmann

Sistema de Aquisição de Dados Utilizando LabView; 2008; Iniciação Científica; (Graduando em Engenharia Eletrônica) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Antonio Eduardo Carrilho da Cunha;

Felipe Freitas Santiago

Aplicação da Verificação de Sistemas Híbridos a Problemas de Engenharia; 2008; Iniciação Científica; (Graduando em Engenharia Eletrônica) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Antonio Eduardo Carrilho da Cunha;

Bruno Soarez Pompeo

Desenvolvimento de Sistemas em Tempo Real Utilizando o Matlab: Implementação de Técnicas de Codificação de Canal; 2007; Iniciação Científica; (Graduando em Engenharia Elétrica) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Antonio Eduardo Carrilho da Cunha;

Thiago de Morais Gonçalves Bittencourt

Desenvolvimento de Sistemas em Tempo Real Utilizando o Matlab: Implementação de Técnicas de Modulação Digital; 2007; Iniciação Científica; (Graduando em Engenharia Elétrica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Rodrigo Ferreira Inocencio Silva

Planta Educacional para Automação e Instrumentação; 2007; Iniciação Científica; (Graduando em Engenharia Eletrônica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Ronaldo de Noronha

Planta Educacional para Automação e Instrumentação; 2007; Iniciação Científica; (Graduando em Engenharia Eletrônica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Bruno Medeiros Fraga

Especificação de Sistemas Automatizados Utilizando o GRAFCET; 2007; Iniciação Científica; (Graduando em Engenharia Eletrônica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Elaine Crespo Marques

Especificação de Sistemas Automatizados Utilizando o GRAFCET; 2007; Iniciação Científica; (Graduando em Engenharia Eletrônica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Nilson Maciel de Paiva Junior

Especificação de Sistemas Automatizados Utilizando o GRAFCET; 2007; Iniciação Científica; (Graduando em Engenharia Eletrônica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Felipe Freitas Santiago

Técnicas de Aproximação de Regiões Alcançáveis de Sistemas Dinâmicos; 2007; Iniciação Científica; (Graduando em Engenharia Eletrônica) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Antonio Eduardo Carrilho da Cunha;

Heron Alves dos Santos

Modelagem e Controle de um Sistema Pêndulo Invertido; 2006; Iniciação Científica; (Graduando em Engenharia Elétrica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Fábio Azevedo Farah

Modelagem e Controle de um Sistema Pêndulo Invertido; 2006; Iniciação Científica; (Graduando em Engenharia Elétrica) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Antonio Eduardo Carrilho da Cunha;

Fernanda de Carvalho Vieira

Modelagem e Controle de um Sistema Pêndulo Invertido; 2006; Iniciação Científica; (Graduando em Engenharia Elétrica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Ricardo Soncim Moreira

Modelagem e Controle de um Sistema Pêndulo Invertido; 2006; Iniciação Científica; (Graduando em Engenharia Elétrica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Ricardo Luís de Melo

IMPLEMENTAÇÃO DO CONTROLE POR COMPUTADOR DE UM SISTEMA BALL-ON-PLATE; 2005; Iniciação Científica; (Graduando em Engenharia Elétrica) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Antonio Eduardo Carrilho da Cunha;

DANILO FERNANDES TENÓRIO

IMPLEMENTAÇÃO DO CONTROLE POR COMPUTADOR DE UM SISTEMA BALL-ON-PLATE; 2005; Iniciação Científica; (Graduando em Engenharia Elétrica) - Instituto Militar de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Antonio Eduardo Carrilho da Cunha;

Danilo Habermann

SISTEMA DE CONTROLE DO PROCESSO DE FABRICAÇÃO DE CORDEL DETONANTE; 2004; Iniciação Científica; (Graduando em Engenharia Elétrica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Olinda de Lima Farias

Projeto de um Robô Manipulador SCARA; 2004; Iniciação Científica; (Graduando em Engenharia Elétrica) - Instituto Militar de Engenharia; Orientador: Antonio Eduardo Carrilho da Cunha;

Produções bibliográficas

  • BARBOSA, LEONARDO DE MELLO ; CERQUEIRA, CHRISTOPHER SHNEIDER ; DA CUNHA, ANTONIO EDUARDO CARRILHO . Natural language requirements boilerplates: an integrative literature review. REVISTA DE GESTÃO E SECRETARIADO , v. 14, p. 13444-13476, 2023.

  • CALIXTO, IGOR C. ; da Cunha, Antonio E. C. ; DE AGUIAR, RAQUEL S. DA S. . Hierarchical Interface-Based Supervisory Control for Verification and Validation of a Cyber-Physical System. Journal Of Control Automation And Electrical Systems , v. 34, p. 1123-1135, 2023.

  • TUXI, THIAGO M. ; CARVALHO, LILIAN K. ; NUNES, EDUARDO V. L. ; CUNHA, ANTONIO E. C. DA . Diagnosability verification using LTL model checking. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS , v. 32, p. 399-433, 2022.

  • HILÁRIO, RÁRISSON QUEIROZ ; CUNHA, ANTONIO EDUARDO CARRILHO DA . Estudo de caso de controle supervisório tolerante a perdas intermitentes de observação: Planta MECATRIME. RESEARCH, SOCIETY AND DEVELOPMENT , v. 11, p. e29511326615, 2022.

  • GONÇALVES, MARCOS VINÍCIOS ; DA CUNHA, ANTONIO EDUARDO CARRILHO . Scheduling tank trucks at a fuel distribution terminal using max-plus model-based predictive control. JOURNAL OF PROCESS CONTROL , v. 103, p. 8-18, 2021.

  • ALVES, MARCOS V. S. ; da Cunha, Antonio E. C. ; CARVALHO, LILIAN KAWAKAMI ; MOREIRA, MARCOS VICENTE ; BASILIO, JOÃO CARLOS . Robust supervisory control of discrete event systems against intermittent loss of observations. International Journal of Control , v. 1, p. 1-13, 2019.

  • LOBO E SILVA, L. O. G. ; Carrilho da Cunha, Antonio Eduardo . Controle de Atitude de um Quadrirrotor. REVISTA MILITAR DE CIÊNCIA E TECNOLOGIA , v. XXXV, p. 7-15, 2018.

  • PENA, P. N. ; BRAVO, H. J. ; da Cunha, A. E. C. ; MALIK, R. ; LAFORTUNE, S. ; CURY, J. E. R. . Verification of the Observer Property in Discrete Event Systems. IEEE Transactions on Automatic Control (Print) , p. 1-1, 2014.

  • RODRIGUEZ, J. A. V. ; Carrilho da Cunha, Antonio Eduardo . Timed Automata Verification Applied to Performance Analysis of Control Logics Synthesized by Supervisory Control Theory. Computer Science and Applications , v. 1, p. 271-285, 2014.

  • AGUIAR, R. S. S. ; CARRILHO DA CUNHA, A. E. ; CURY, J. E. R. . BUSCA TABU NA OBTENÇÃO DE SUPERVISORES POR DISTINGUIDORES APROXIMADOS. C&T. Revista Militar de Ciência e Tecnologia , v. XXXI, p. 43-60, 2014.

  • ALVES, O. F. ; CARRILHO DA CUNHA, A. E. . Planejamento e Controle de Missões de um VANT de Asa Fixa. C&T. Revista Militar de Ciência e Tecnologia , v. XXVIII, p. 3-21, 2011.

  • PENA, P. N. ; CARRILHO DA CUNHA, A. E. ; CURY, J. E. R. ; LAFORTUNE, S. . Metodologia e Ferramenta de Apoio ao Teste de Não-Conflito no Controle Modular de Sistemas a Eventos Discretos. Controle & Automação (Impresso) , v. 21, p. 58-68, 2010.

  • DIAS, M. H. C. ; GOMES, G. M. P. ; SANTOS, J. C. A. ; CARRILHO DA CUNHA, A. E. . OS PRIMEIROS 38 ANOS DO PROGRAMA DE PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA (PPGEE) DO IME. C&T. Revista Militar de Ciência e Tecnologia , v. XXVII, p. 22, 2010.

  • CARRILHO DA CUNHA, A. E. ; CURY, J. E. R. . Hierarchical Supervision of Discrete Event Systems with Flexible Marking. IEEE TRANSACTIONS ON AUTOMATIC CONTROL , v. 52, p. 2242-2253, 2007.

  • CURY, J. E. R. ; TORRICO, C. R. C. ; CARRILHO DA CUNHA, A. E. . Supervisory Control of Discrete Event Systems with Flexible Marking. EUROPEAN JOURNAL OF CONTROL , v. 10, n.1, p. 1, 2004.

  • NICHELE, J. ; da Cunha, Antonio E. C. . Introdução ao Matlab: Guia Tutorial. 1. ed. Rio de Janeiro: IME, 2023. v. 1. 111p .

  • RODRIGUEZ, J. A. V. ; CARRILHO DA CUNHA, A. E. . Validation and Performance Analysis of Control Logic. 1. ed. Saarbrüken: Scholar's Press, 2016. v. 1. 122p .

  • de Oliveira, Irony Nunes ; Gomes, Hanameel Carlos Vieira ; da Silva Firmino, Kelipys ; DA CUNHA, ANTONIO EDUARDO CARRILHO ; Garcez, Cícero Roberto . Exploratory Project of Digital Twin Technology in Cyber-Physical Systems. Lecture Notes in Networks and Systems. 1ed.: Springer Nature Singapore, 2023, v. , p. 461-478.

  • CARRILHO DA CUNHA, A. E. . Verificação de Programas de CLP. In: Antonio Padilha Feltrin; Carlos Roberto Minussi; Marcelo Carvalho Minhoto Teixeira; Rubén Augusto Romero Lázaro. (Org.). Tutoriais do XVIII Congresso Brasileiro de Automática. 1ed.São Paulo: Cultura Acadêmica, 2010, v. , p. 49-64.

  • OLIVEIRA, IRONY NUNES DE ; SALES, LUCIANO ; PASSOS, ADERSON CAMPOS ; CUNHA, ANTONIO EDUARDO CARRILHO DA ; PELLANDA, PAULO CÉSAR . EXPLORANDO O DESIGN SCIENCE RESEARCH EM PROJETOS DE PD&I PARA ÁREA DE DEFESA. In: Anais do Congresso Brasileiro de Inovação e Gestão de Desenvolvimento do Produto, 2024, Instituto Metrópole Digital (I. Anais do(a) Anais do Congresso Brasileiro de Inovação e Gestão de Desenvolvimento do Produto, 2023.

  • ALMEIDA, FERNANDO NUNES DE ; CUNHA, ANTONIO EDUARDO CARRILHO DA ; SANTOS, ANDERSON FERNANDES PEREIRA DOS ; PELLANDA, PAULO CÉSAR . Hänsel und Gretel: algoritmo para melhoria da resiliência cibernética pela diversificação de ativos através de aprendizado de máquina. In: Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2023, Brasil. Anais do XXIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg 2023), 2023. p. 546.

  • GOMES, H. C. V. ; MICELI JUNIOR, G. ; Carrilho da Cunha, Antonio Eduardo . Manufatura enxuta: oportunidade para a gestão da manutenção de armamento leve no Exército Brasileiro. In: Simpósio de Aplicações Operacionais em Áreas de Defesa (SIGE), 2023, São José dos Campos. Simpósio de Aplicações Operacionais em Áreas de Defesa (SIGE), 2023. v. 1. p. 1-6.

  • VARGAS, GABRIEL LAPORT ; DA CUNHA, ANTONIO EDUARDO CARRILHO . Makespan reduction for Time-Weighted Systems using a Clonal Selection algorithm. In: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), 2022, Stuttgart. 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), 2022. p. 1.

  • VARGAS, G. L. ; Carrilho da Cunha, Antonio Eduardo . Reduc?ao do Makespan para Sistemas com Ponderac?oes Temporais Usando um Algoritmo de Busca Clonal. In: XXIV Congresso Brasileiro de Automática, 2022, Fortaleza. Anais do XXIV Congresso Brasileiro de Automática, 2022. v. 1. p. 1-8.

  • CRUZ, T. G. R. ; da Cunha, Antonio E. C. . Framework para Aplicação de Model Checking ao Projeto de Automação no Ambiente Industrial. In: XXIV Congresso Brasileiro de Automática, 2022, Fortaleza. Anais do XXIV Congresso Brasileiro de Automática, 2022. v. 1. p. 1-8.

  • CAMARGO, O. A. M. ; GOMES, E. C. ; NASCIMENTO FILHO, A. ; SANTOS, A. F. P. ; Carrilho da Cunha, Antonio Eduardo ; PELLANDA, P. C. . Laboratório de Segurança Cibernética para Análise de Malwares Reais em Infraestruturas Cíticas. In: XXIV Congresso Brasileiro de Automática, 2022, Fortaleza. Anais do XXIV Congresso Brasileiro de Automática, 2022. v. 1. p. 1-8.

  • COHEN CALIXTO, IGOR ; da Cunha, Antonio E. C. . Case Study of Hierarchical Interface-Based Supervisory Control for a Mechatronic Platform. In: 15th Workshop on Discrete Event Systems, 2020, Rio de Janeiro. 15th Workshop on Discrete Event Systems, 2020. v. 0. p. 0-0.

  • MONTEIRO TUXI, THIAGO ; CARVALHO, LILIAN KAWAKAMI ; NUNES, EDUARDO ; da Cunha, Antonio E. C. . Is LTL model-checking effective for Diagnosability Verification?. In: 15th Workshop on Discrete Event Systems, 2020, Rio de Janeiro. 15th Workshop on Discrete Event Systems, 2020. v. 0. p. 0-0.

  • COUTO, CHRISTIANA ; KARL COUTO, GUSTAVO CLAUDIO ; Carrilho da Cunha, Antonio Eduardo . Análise da segurança de redes em sistemas de automação e controle industriais: estudo de caso com a planta MecatrIME. In: Congresso Brasileiro de Automática 2020, 2020, Porto Alegre. Anais do Congresso Brasileiro de Automática 2020, 2020. v. 2.

  • MONTEIRO TUXI, THIAGO ; KAWAKAMI CARVALHO, LILIAN ; NUNES, EDUARDO ; Carrilho da Cunha, Antonio Eduardo . A model-checking based approach: Diagnosability Verification. In: ANAIS DO 14 SIMPóSIO BRASILEIRO DE AUTOMAçãO INTELIGENTE, 2019, Ouro Preto. Anais do 14 Simpósio Brasileiro de Automação Inteligente, 2019. v. 1.

  • COHEN CALIXTO, IGOR ; Carrilho da Cunha, Antonio Eduardo . Controle Supervisório Hierárquico Baseado em Interface: Caso Mecatrime. In: ANAIS DO 14 SIMPóSIO BRASILEIRO DE AUTOMAçãO INTELIGENTE, 2019, Ouro Preto. Anais do 14 Simpósio Brasileiro de Automação Inteligente, 2019. v. 1.

  • QUEIROZ HILÁRIO, RÁRISSON ; Carrilho da Cunha, Antonio Eduardo . Estudo de Caso de Controle Supervisório Tolerante a Perdas Intermitentes de Observação: Planta MECATRIME. In: ANAIS DO 14 SIMPóSIO BRASILEIRO DE AUTOMAçãO INTELIGENTE, 2019, Ouro Preto. Anais do 14 Simpósio Brasileiro de Automação Inteligente, 2019. v. 1.

  • Tuxi, Thiago Monteiro ; Carrilho da Cunha, Antonio Eduardo . Contributions to the control of Time-Weighted Systems. In: 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), 2018, Turim. 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), 2018. v. 1. p. 418-425.

  • VIEIRA, J. S. ; CARVALHO, L. K. ; NUNES, E. V. L. ; Carrilho da Cunha, Antonio Eduardo . Diagnosticabilidade de sistemas híbridos empregando análise de alcançabilidade. In: XXII Congresso Brasileiro de Automática, 2018, João Pessoa. Anais do XXII Congresso Brasileiro de Automática, 2018. v. 1. p. 1-6.

  • Magalhães, Giorgio de Moura ; dos Santos, Eder Guimarães ; Borges, Luan Machado ; CARRILHO DA CUNHA, A. E. . COMPARISON AND IMPLEMENTATION OF CONTROL STRATEGIES FOR A QUADROTOR. In: XIII Simpósio Brasileiro de Automação Inteligente, SBAI 2017, 2017, Porto Alegre. Anais do XIII SBAI, 2017. v. 1. p. 133-138.

  • Tuxi, Thiago Monteiro ; CARRILHO DA CUNHA, A. E. . CONTROL & PRODUCTION TIME MINIMIZATION OF AN INDUSTRIAL GLASS BONDING SYSTEM USING TIMED-WEIGHTED-SYSTEMS. In: XIII Simpósio Brasileiro de Automação Inteligente, SBAI 2017, 2017, Porto Alegre. Anais do XIII SBAI, 2017. v. 1. p. 516-521.

  • Chianello Correia, Eduardo Ottavio ; CARRILHO DA CUNHA, A. E. . CONTROLE SUPERVISÓRIO POR AUTÔMATOS TEMPORIZADOS COM MINIMIZAÇÃO DE TEMPO DE UM SISTEMA DE COLAGEM DE VIDROS INDUSTRIAL. In: XIII Simpósio Brasileiro de Automação Inteligente, SBAI 2017, 2017, Porto Alegre. Anais do XIII SBAI, 2017. v. 1. p. 918-923.

  • Tuxi, Thiago Monteiro ; CARRILHO DA CUNHA, A. E. . Timed Supervisory Control of an Industrial Glass Bonding System. In: 20th IFAC World Congress, IFAC 2017, 2017, Toulouse, França. IFAC-PapersOnLine, 2017. v. 50. p. 12339-12344.

  • Chianello Correia, Eduardo Ottavio ; CARRILHO DA CUNHA, A. E. . Timed Automata Supervisory Control of a Glass Bonding System. In: 20th IFAC World Congress, IFAC 2017, 2017, Toulouse, França. IFAC-PapersOnLine, 2017. v. 50. p. 12345-12350.

  • OLIVEIRA, M. A. ; PELLANDA, P. C. ; CARRILHO DA CUNHA, A. E. ; ADES, R. . IDENTIFICACAO DE SISTEMAS MULTIVARIAVEIS NO DOMINIO DA FREQUENCIA: APLICACAO DE UM METODO ITERATIVO BASEADO EM DADOS TEMPORAIS. In: Conferência Brasileira e Dinâmica, Controle e Aplicações, DINCON 2017, 2017, São José do Rio Preto. Conferência Brasileira e Dinâmica, Controle e Aplicações, DINCON 2017, 2017. v. 1. p. 1-1.

  • SOUZA, D. H. B. ; OLIVEIRA, M. A. ; PELLANDA, P. C. ; CARRILHO DA CUNHA, A. E. . IDENTIFICACAO DA DINAMICA DE UM MOTOR DC POR AJUSTE OTIMO DA RESPOSTA EM FREQUENCIA. In: Conferência Brasileira e Dinâmica, Controle e Aplicações, DINCON 2017, 2017, São José do Rio Preto. Conferência Brasileira e Dinâmica, Controle e Aplicações, DINCON 2017, 2017. v. 1. p. 1-1.

  • Tuxi, Thiago Monteiro ; OLIVEIRA, M. A. ; CARRILHO DA CUNHA, A. E. ; PELLANDA, P. C. . Uma análise comparativa de ferramentas computacionais para auxilio à verificação de plágio em documentos. In: Congresso Brasileiro de Educação em Engenharia, COBENGE 2017, 2017, Joinville. Congresso Brasileiro de Educação em Engenharia, COBENGE 2017, 2017. v. 1. p. 1-1.

  • LOBO E SILVA, L. O. G. ; CARRILHO DA CUNHA, A. E. . ATTITUDE CONTROL OF A NANO QUADROTOR. In: CONGRESSO BRASILEIRO DE AUTOMÁTICA, 2016, VITÓRIA, ES. ANAIS DO XXI Congresso Brasileiro de Automática, 2016. v. 1. p. 1052-1057.

  • Carrilho da Cunha, Antonio Eduardo . Benchmark: Quadrotor Attitude Control. In: ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015, Seattle. ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015. v. 34. p. 57-72.

  • CIPRIANO, H. J. B. ; PENA, P. N. ; Carrilho da Cunha, Antonio Eduardo ; MALIK, R. ; CURY, J. E. R. . Generalised Search for the Observer Property in Discrete Event Systems. In: Workshop on Discrete Event Systems, 2014, Cachan. 14th International Workshop on Discrete Event Systems, 2014. v. 12. p. 350-355.

  • ALVES, M. V. S. ; BASILIO, J. C. S. ; Carrilho da Cunha, Antonio Eduardo ; CARVALHO, L. K. ; MOREIRA, M. V. B. . Robust Supervisory Control against Intermittent Loss of Observations. In: Workshop on Discrete Event Systems, 2014, Cachan. 14th International Workshop on Discrete Event Systems, 2014. v. 12. p. 294-299.

  • AGUIAR, R. S. S. ; Carrilho da Cunha, Antonio Eduardo ; CURY, J. E. R. ; QUEIROZ, M. H. . Comparative of heuristics on search of supervisors by approximated distinguishers. In: Emerging Technology and Factory Automation (ETFA), 2014 IEEE, 2014, Barcelona. Emerging Technology and Factory Automation (ETFA), 2014 IEEE, 2014. v. 1. p. 1-8.

  • ALVES, M. V. S. ; BASILIO, J. C. S. ; Carrilho da Cunha, Antonio Eduardo ; CARVALHO, L. K. ; MOREIRA, M. V. B. . Controle supervisório robusto de SED sujeitos a perdas intermitentes de observação. In: XX Congresso Brasileiro de Automática, 2014, Belo Horizonte. Anais do XX Congresso Brasileiro de Automática, 2014. v. 1. p. 1688-1695.

  • AGUIAR, R. S. S. ; CARRILHO DA CUNHA, A. E. ; QUEIROZ, M. H. ; CURY, J. E. R. . Heuristic Search of Supervisors by Approximated Distinguishers. In: Worshop on Dependable Control of Discrete Systems (DCDS 2013), 2013, York. Dependable Control of Discrete Systems, 2013. v. 4. p. 121-126.

  • AGUIAR, R. S. S. ; CARRILHO DA CUNHA, A. E. ; CURY, J. E. R. ; QUEIROZ, M. H. . BUSCA HEURÍSTICA DE SUPERVISORES APROXIMADOS POR DISTINGUIDORES. In: XI Simpósio Brasileiro de Automação Inteligente, 2013, Fortaleza. Anais do XI Simpósio Brasileiro de Automação Inteligente, 2013.

  • CIPRIANO, H. J. B. ; Carrilho da Cunha, Antonio Eduardo ; PENA, P. N. ; CURY, J. E. R. . BUSCA GENERALIZADA DA PROPRIEDADE DE OBSERVADOR EM SISTEMAS A EVENTOS DISCRETOS. In: XI Simpósio Brasileiro de Automação Inteligente, 2013, Fortaleza. Anais do XI Simpósio Brasileiro de Automação Inteligente, 2013.

  • RODRIGUEZ, J. A. V. ; Carrilho da Cunha, Antonio Eduardo . VERIFICAÇÃO DE AUTÔMATOS TEMPORIZADOS PARA VALIDAÇÃO E ANÁLISE DE DESEMPENHO DE LÓGICA DE CONTROLE SINTETIZADA PELA TEORIA DE CONTROLE SUPERVISÓRIO. In: XI Simpósio Brasileiro de Automação Inteligente, 2013, Fortaleza. Anais do XI Simpósio Brasileiro de Automação Inteligente, 2013.

  • LIMA, A. J. D. ; BRUNO, N. ; CORDEIRO, M. C. R. ; CARRILHO DA CUNHA, A. E. . CONTROLE PROPORCIONAL INTEGRAL DERIVATIVO PARA TRANSPORTE DE CARGA EM PONTE ROLANTE. In: XIX Congresso Brasileiro de Automática, CBA 2012, 2012, Campina Grande. Anais do XIX Congresso Brasileiro de Automática, CBA 2012, 2012. p. 5471-5478.

  • RODRIGUES, C. Y. A. C. ; SANTOS, E. H. ; CARRILHO DA CUNHA, A. E. . CONTROLE AUTOMÁTICO DE ATITUDE DE UM HELICÓPTERO COM DOIS GRAUS DE LIBERDADE. In: XIX Congresso Brasileiro de Automática, CBA 2012, 2012, Campina Grande. Anais do XIX Congresso Brasileiro de Automática, CBA 2012, 2012. p. 5246-5253.

  • AGUIAR, R. S. S. ; VALLIM, M. B. R. ; CARRILHO DA CUNHA, A. E. . SÍNTESE DE CONTROLE SUPERVIS ÓRIO MODULAR LOCAL PARA UM SISTEMA DE TRIAGEM. In: XIX Congresso Brasileiro de Automática, CBA 2012, 2012, Campina Grande. Anais do XIX Congresso Brasileiro de Automática, CBA 2012, 2012. p. 2842-2849.

  • CIPRIANO, H. J. B. ; CARRILHO DA CUNHA, A. E. ; PENA, P. N. ; MALIK, R. ; CURY, J. E. R. . Generalised Verification of the Observer Property in Discrete Event Systems. In: Workshop on Discrete Event Systems, 2012, Guadalajara. Proceedings of the Worshop on Discrete Event Systems, 2012. p. 337-342.

  • CIPRIANO, H. J. B. ; CARRILHO DA CUNHA, A. E. ; PENA, P. N. ; MALIK, R. ; CURY, J. E. R. . VERIFICAÇÃO GENERALIZADA DA PROPRIEDADE DE OBSERVADOR EM SISTEMAS A EVENTOS DISCRETOS. In: XIX Congresso Brasileiro de Automática, CBA 2012, 2012, Campina Grande. Anais do XIX Congresso Brasileiro de Automática, CBA 2012, 2012. p. 2509-2514.

  • ALVES, O. F. ; CARRILHO DA CUNHA, A. E. . Modelagem e Controle de uma Aeronave de Asas Fixas para o Planejamento e Controle de Missões. In: Congresso Brasileiro de Automação, 2010, Bonito. Anais do Congresso Brasileiro de Automação, 2010.

  • GONZALEZ, J. C. ; GARRIDO, R. O. ; CARRILHO DA CUNHA, A. E. . Rotary Wings UAV Mission Planning Aided by Supervisory Control. In: Workshop on Discrete Event Systems, 2010, Berlim. Proceedings of the WODES 2010, 2010.

  • GARRIDO, R. O. ; CARRILHO DA CUNHA, A. E. . Aplicação da Síntese de Supervisores de Sistemas Híbridos ao Planejamento de Missões de Veículos Aéreos Não Tripulados. In: IX Simpósio Brasileiro de Automação Inteligente, 2009, Brasília. Anais do IX Simpósio Brasileiro de Automação Inteligente, 2009.

  • COSTA, G. S. ; CARRILHO DA CUNHA, A. E. . Utilização da Verificação de Sistemas Híbridos para o Planejamento de Missões de Veículos Aéreos Não-Tripulados. In: XVII Congresso Brasileiro de Automática, 2008, Juiz de Fora. Anais do XVII Congresso Brasileiro de Automática, 2008.

  • ROSA, P. F. F. ; CARRILHO DA CUNHA, A. E. . Sistemas de Veículos Autônomos Não Tripulados. In: I Simpósio do DCT sobre Veículos Aéreos Não-Tripulados (I SIMVANT), 2008, Brasília. Anais do I SIMVANT, 2008.

  • PENA, P. N. ; CARRILHO DA CUNHA, A. E. ; CURY, J. E. R. ; LAFORTUNE, S. . Teste de Não-Conflito de Supervisores Modulares Usando o OP-Verificador. In: Congresso Brasileiro de Automática, 2008, Juiz de Fora. Anais do XVII Congresso Brasileiro de Automática, 2008.

  • PENA, P. N. ; CARRILHO DA CUNHA, A. E. ; LAFORTUNE, S. ; CURY, J. E. R. . New Results on the Nonconflict Test of Modular Supervisors. In: 9th International Workshop on Discrete Event Systems, 2008, Gothenburg. 9th International Workshop on Discrete Event Systems, 2008.

  • CARRILHO DA CUNHA, A. E. ; CURY, J. E. R. . Synthesis of Control Structures for Hierarchical Control with Flexible Marking. In: 1st IFAC Workshop on Dependable Control of Discrete Systems, 2007, Paris. Proceedings of the 1st IFAC Wokshop on Dependable Control of Discrete Systems, 2007. v. 1. p. 89-94.

  • MARTINS, W. F. ; GOMES, G. M. P. ; CARRILHO DA CUNHA, A. E. . Controle em Tempo Real do Sistema Plataforma-Esfera, Utilizando Lógica Fuzzy. In: VII Simpósio Brasileiro de Automação Inteligente (SBAI), 2007, Florianópolis. Anais do VII SBAI, 2007.

  • OLIVEIRA, C. H. C. ; CARRILHO DA CUNHA, A. E. . Verificação de Modelos aplicada aos Sistemas Industriais Automatizados por Controladores Lógicos Programáveis. In: INDUSCON 2006, 2006, Recife. Anais do INDUSCON 2006, 2006.

  • SIVOLELLA, L. F. ; CARRILHO DA CUNHA, A. E. ; ADES, R. . Redução de supervisores para sistemas a eventos discretos. In: INDUSCON 2006, 2006, Recife. Anais do INDUSCON 2006, 2006.

  • CAINELLI, G. T. F. ; GOMES, G. M. P. ; CARRILHO DA CUNHA, A. E. . Modelagem, controle e vídeo-sensoriamento de uma esfera sobre plataforma. In: INDUSCON 2006, 2006, Recife. Anais do INDUSCON 2006, 2006.

  • REISER, C. ; CURY, J. E. R. ; GARCIA, T. R. ; CARRILHO DA CUNHA, A. E. . The Environment Grail for Supervisory Control of Discrete Event Systems. In: 8th International Workshop on Discrete Event Systems, 2006, Ann Arbor, Michigan, EUA. Proceedings of the 8th International Workshop on Discrete Event Systems, 2006.

  • GOMES, G. M. P. ; CARRILHO DA CUNHA, A. E. . Controlador Nebuloso Aplicado ao Sistema Plataforma-Esfera. In: Congresso Brasileiro de Automática, 2006, Salvador. Anais do Congresso Brasileiro de Automática, 2006.

  • SIVOLELLA, L. F. ; CARRILHO DA CUNHA, A. E. ; ADES, R. . Redução de Supervisores como Ferramenta para a Implementação de Supervisores em Controladores Discretos. In: Congresso Brasileiro de Automática, 2006, Salvador. Anais do Congresso Brasileiro de Automática, 2006.

  • OLIVEIRA, C. H. C. ; CARRILHO DA CUNHA, A. E. ; CAMPOS, M.C.M.M. . Verificação de Modelos Aplicada ao Projeto de Sistemas Automatizados por Controladores Lógicos Programáveis. In: Congresso Brasileiro de Automática, 2006, Salvador. Anais do Congresso Brasileiro de Automática, 2006.

  • ROSA, P. F. F. ; BOTELHO, W. T. ; LIMA, S. S. ; CARRILHO DA CUNHA, A. E. . A Smart House with a reactive Architecture and a Neural Network for Gait Recognition. In: VII SBAI/IEEE-LARS, 2005, São Luis. Anais do VII SBAI/IEEE-LARS, 2005.

  • ROSA, P. F. F. ; BOTELHO, W. T. ; LIMA, S. S. ; CARRILHO DA CUNHA, A. E. . The Modeling of a Multi-Agent System for a Domotics Platform. In: 15th IFAC World Congress, 2005, Praga. Anais do 15th IFAC World Congress, 2005.

  • ROSA, P. F. F. ; LIMA, S. S. ; BOTELHO, W. T. ; CARRILHO DA CUNHA, A. E. . Um Agente de Identificação para Aplicações Domóticas. In: Congresso Brasileiro de Automação, 2004, Gramado. Anais do CBA 2004, 2004.

  • CARRILHO DA CUNHA, A. E. ; CURY, J. E. R. . Hierarchically Consistent Controlled Discrete Event Systems. In: IFAC, 2002, Barcelona. Anais do IFAC World Congress, 2002.

  • CARRILHO DA CUNHA, A. E. ; CURY, J. E. R. ; KROGH, B. H. . An Assume-Guarantee Reasoning for Hierarchical Coordination of Discrete Event Systems. In: Workshop on Discrete Event Dynamical Systems, 2002, Zaragoza. Anais do Workshop on Discrete Event Dynamical Systems, 2002.

  • GONZALEZ, J. M. E. ; CARRILHO DA CUNHA, A. E. ; CURY, J. E. R. ; KROGH, B. H. . Supervision of Event Driven Hybrid Systems: Modeling and Synthesis. In: Hybrid Systems: Computation and Control, 2001, Roma. Hybrid Systems: Computation and Control, 2001.

  • CURY, J. E. R. ; TORRICO, C. R. C. ; CARRILHO DA CUNHA, A. E. . A New Approach for Supervisory Control of Discrete Event Systems. In: European Control Conference, 2001, Porto. Proceedings of the European Control Conference, 2001.

  • CARRILHO DA CUNHA, A. E. ; CURY, J. E. R. . Uma Metodologia de Redução de Modelos de Sistemas a Eventos Discretos para Síntese de Supervisores. In: XIII Congresso Brasileiro de Automática, 2000, Florianópolis. Anais do XIII Congresso Brasileiro de Automática, 2000. p. 2257-2262.

  • CARRILHO DA CUNHA, A. E. ; BIER, C. C. ; MARTINS, D. ; PASSOLD, F. . Metodologia Seqüencial para Simulação Numérica de Técnicas de Controle para Robôs Manipuladores. In: 20th Iberian Latin-American Congress on Computational Methods in Engineering - XX CILAMCE, 2000, São Paulo. Anais do XX CILAMCE, 2000.

  • CARRILHO DA CUNHA, A. E. . Uma visão Geral sobre os Sistemas a Eventos Discretos: Problemas, Abordagens e Aplicações. 2009. (Apresentação de Trabalho/Conferência ou palestra).

  • CARRILHO DA CUNHA, A. E. . Verificação Formal de Programas de CLPs. 2009. (Apresentação de Trabalho/Conferência ou palestra).

  • GARRIDO, R. O. ; CARRILHO DA CUNHA, A. E. . Aplicação da Síntese de Supervisores de Sistemas Híbridos ao Planejamento de Missões de Veículos Aéreos Não Tripulados. 2009. (Apresentação de Trabalho/Simpósio).

Outras produções

CARRILHO DA CUNHA, A. E. . Revisão de quatro artigos para 20th IFAC World Congress, IFAC 2017. 2017.

CARRILHO DA CUNHA, A. E. . Revisão de dois artigos para o XIII Simpósio Brasileiro de Automação Inteligente, SBAI 2017. 2017.

COSTA, G. S. ; CARRILHO DA CUNHA, A. E. . Sistema Verificados de Missões de VANTs. 2008.

CARRILHO DA CUNHA, A. E. . Ferramenta para controle hierárquico de sistemas a eventos discretos. 2003.

Carrilho da Cunha, Antonio Eduardo . Elaboração de um parecer ad hoc para FINEP. 2022.

Carrilho da Cunha, Antonio Eduardo . Revisão de 01 artigo para a Conference of Decision and Control 2022. 2022.

Carrilho da Cunha, Antonio Eduardo . Membro do comitê de programa da Área de Automação do Congresso Brasileiro de Automática. 2022.

Carrilho da Cunha, Antonio Eduardo . Editor associado da área de Elétrica da Revista Militar de Ciência e Tecnologia. 2022.

Carrilho da Cunha, Antonio Eduardo . Revisão de 01 artigo para o Workshop on Discrete Event Systems (WODES). 2022.

da Cunha, Antonio E. C. ; Gondim, J. J. C. ; Barbosa, L. F. ; Lopes, G. N. ; Couto, C. ; PELLANDA, P. C. . PRÁTICAS DE NOC E SOC APLICADAS AOS AMBIENTES DE AUTOMAÇÃO INDUSTRIAL. 2020.

CARRILHO DA CUNHA, A. E. ; NABBOUT, S. ; MARINS, M. R. R. ; ELMOR, G. . Impactos da Automação no crescimento sustentável e na evolução do perfil do engenheiro.. 2023. (Programa de rádio ou TV/Mesa redonda).

Projetos de pesquisa

  • 2013 - 2016

    Ampliação da Capacidade Instalada de PD&I em Sistemas Mecatrônicos de Caráter Estratégico com Aplicação Dual, Descrição: O objetivo da presente proposta é realizar ampliações na infraestrutura laboratorial disponível no Instituto Militar de Engenharia (IME) que possibilitarão melhores condições para Pesquisa, Desenvolvimento e Inovação em Sistemas Mecatrônicos. Tais ampliações destinam-se a possibilitar a obtenção de protótipos físicos, utilizando equipamentos de vanguarda, similares aos encontrados nas indústrias tecnologicamente desenvolvidas; e dar sequência ao processo de melhoria contínua da excelência da formação de Recursos Humanos nos seguintes Programas de Pós-Graduação: Engenharia de Defesa (PGED); Engenharia Mecânica (PGMEC); Engenharia Elétrica (PGEE); Sistemas e Computação (PGSC); e Ciência dos Materiais (PGMAT). Objetiva-se adquirir alguns sistemas importados, em complementação à infraestrutura já existente e em instalação no Instituto. Tais sistemas são amplamente empregados nas indústrias de países competitivos. Especificamente, os sistemas a serem adquiridos são: 1) um Sistema Industrial CIM (Computer Integrated Manufacturing); 2) um Sistema de Prototipagem Rápida de Alta Precisão; 3) um Sistema de Digitalização 3D Portátil; e 4) um Sistema de Aprendizado em Injeção de Plástico. Os sistemas destinam-se a ampliar a capacidade instalada dos Laboratórios de Robótica Industrial de Defesa e de Mecatrônica e Sistemas de Armas, ambos ora em implantação, e que se destinam a atender aos cinco programas de PG acima mencionados.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Antonio Eduardo Carrilho da Cunha - Coordenador / José Eduardo Ribeiro Cury - Integrante / Paulo Cesar Pellanda - Integrante / Mauro Cezar Rebello Cordeiro - Integrante / Raquel Stella da Silva de Aguiar - Integrante / Anne Elise Peixoto Carvalho - Integrante / João Aurélio Vieira Rodriguez - Integrante / Victor Luiz Dias de Castro - Integrante / Édio Pereira Lima Júnior - Integrante / João Carlos Espíndola Ferreira - Integrante / Carlos Nelson Elias - Integrante / Carlos Luiz Ferreira - Integrante / Geraldo Magela Gomes Pinheiro - Integrante / Alberto Mota Simões - Integrante / Jorge Audrin Morgado Gois - Integrante / Maurício Gruzman - Integrante / José Geraldo Telles Ribeiro - Integrante / Luiz Paulo Gomes Ribeiro - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2011 - 2013

    REDE DE VEÍCULOS AUTOGUIADOS PARA O TRANSPORTE DE PEÇAS, Descrição: O presente projeto destina-se a desenvolver uma planta experimental intitulada "Rede de Veículos Autoguiados (AGV) para o Transporte de Peças" para mobiliar o Laboratório de Controle e Automação do IME, ora em instalação. A construção da planta visa alavancar o ensino e a pesquisa em Modelagem, Análise e Controle de Sistemas a Eventos Discretos, em curso no Instituto. O sistema de controle da planta será desenvolvido empregando-se diferentes abordagens disponibilizadas pela Teoria de Controle Supervisório, tratando de aspectos do roteamento dos AGV, o escalonamento para o transporte de peças e a gerência de energia dos veículos. Diferentes abordagens de controle serão desenvolvidas e implementadas em microcontroladores. Será feita a análise do desempenho das diferentes abordagens.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (5) . , Integrantes: Antonio Eduardo Carrilho da Cunha - Coordenador / Paulo F. F. Rosa - Integrante / Ney Bruno - Integrante / Mauro Cezar Rebello Cordeiro - Integrante / Bruno Eduardo Madeira - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2008 - 2012

    Rede de Cooperação Acadêmica em Sistemas a Eventos Discretos, Sistemas Híbridos e Controle Robusto, Descrição: O principal objetivo deste projeto é constituir uma rede de cooperação nas áreas de sistemas a eventos discretos, sistemas híbridos e controle robusto, fortalecendo as relações existentes entre os quatro programas de pós-graduação, através do desenvolvimento conjunto de pesquisas, seminários e orientações de dissertações e teses, com vistas à consolidação do o PPGEEL/IME e o PPGEPS/PUCPR (ambos com nível 3 na CAPES), bem como à integração dessas três áreas correlatas de modo a estimular a abordagem de novos tópicos de pesquisa no PGEAS/UFSC (nível 5) e no PPGEE/UFMG (nível 6).. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Antonio Eduardo Carrilho da Cunha - Integrante / José Eduardo Ribeiro Cury - Coordenador / Geraldo Magela Pinheiro Gomes - Integrante / Roberto Ades - Integrante / Jean Marie Farines - Integrante / Max Hering de Queiroz - Integrante / Paulo Cesar Pellanda - Integrante / Alexandre Trofino Neto - Integrante / Eugênio de Bona Castelan Neto - Integrante / Daniel Pagano - Integrante / Julio Elias Normey Rico - Integrante / Eduardo Alves Portela Santos - Integrante / Agnelo Denis Vieira - Integrante / Eduardo de Freitas Rocha Loures - Integrante / Marco Antonio Busetti de Paula - Integrante / Fábio Gonçalves Jota - Integrante / Carlos Andrey Maia - Integrante / Ricardo Hiroshi Caldeira Takahashi - Integrante / Carmela Maria Polito Braga - Integrante / Patrícia Nascimento Pena - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Cooperação.

  • 2007 - 2010

    Implantação de Infra-Estrutura para a Pesquisa em Mecatrônica e Sistemas de Armas no IME, Descrição: O presente projeto destina-se à reestruturação do atual Laboratório de Máquinas Elétricas do IME num complexo de laboratórios, salas de aulas, salas para professores e alunos para a pesquisa nas áreas de Mecatrônica e Sistemas de Armas. Também prevê a aquisição de equipamentos para ensino e pesquisa.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Antonio Eduardo Carrilho da Cunha - Coordenador / Paulo F. F. Rosa - Integrante / Geraldo Magela Pinheiro Gomes - Integrante / Roberto Ades - Integrante / Paulo Cesar Pellanda - Integrante / Armando Morado Ferreira - Integrante / Jorge Audrin Morgado de Gois - Integrante / Luciano Luporini Menegaldo - Integrante / Fernando Ribeiro da Silva - Integrante / Clodio Alberto Pastro Sarzeto - Integrante / Marcelo José Colaço - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2006 - 2009

    Infra-Estrutura para Pesquisa em Engenharia de Defesa, Descrição: Objeto do Convênio 1033/06 (Chamada Pública MCT/FINEP/CT-INFRA-PROINFRA-01/2005) firmado entre a Fundação Ricardo Franco de apoio ao IME e a FINEP, tendo como órgão executor o Comando do Exército, através do IME, e como objetivos a estruturação de um laboratório de Defesa Química e Ambiental e um laboratório de Mecatrônica e Sistemas de Armas, a construção de um depósito de Produtos Químicos e a aquisição de equipamentos.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Antonio Eduardo Carrilho da Cunha - Coordenador / Rex Nazaré Alves - Integrante / Keila dos Santos Cople Lima - Integrante / Maysa Joppert Coelho - Integrante / Itamar Borges Júnior - Integrante / Nadya Maria Prado Damasceno Ferreira - Integrante / Ardson dos Santos Vianna Júnior - Integrante / Alcino Palermo de Aguiar - Integrante / Whei Oh Lin - Integrante / Luiz Eduardo Pizarro Borges - Integrante / José Daniel Figueroa Vilar - Integrante / Gabriel Elmôr Filho - Integrante / Fernando Cunha Peixoto - Integrante / Tanos Cláudio Pinheiro Barbosa - Integrante / Antonio Cláudio Pinheiro Barbosa - Integrante / Nídia Maria Ribeiro Pastura - Integrante / Antonio Luís dos Santos Lima - Integrante / Paulo Cesar Pellanda - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2006 - Atual

    Modelagem, Verificação e Controle de Sistemas a Eventos Discretos e Sistemas Dinâmicos Híbridos, Descrição: O imenso desenvolvimento tecnológico dos últimos anos proporcionou o surgimento de sistemas cada vez mais complexos em todos os ramos da atividade humana. Os ditos sistemas feitos pelo homem, definem novas classes que são foco da pesquisa em Controle e Automação, os Sistemas a Eventos Discretos (SEDs) e os Sistemas (Dinâmicos) Híbridos (SHs). Os Métodos Formais de Engenharia são empregados no desenvolvimento tecnológico de qualidade de tais sistemas, garantindo requisitos do tipo confiabilidade e segurança. Dentre os métodos formais, a Teoria de Controle Supervisório (TCS) trata da síntese formal de controladores e a Verificação de Modelos (Model Checking) trata-se de uma técnica automática de verificação de propriedades. O presente projeto de pesquisa tem por objetivo a investigação, a avaliação e a proposta de novas técnicas, métodos e ferramentas computacionais baseadas na TCS e na Verificação de Modelos para o projeto de SEDs e SHs. As aplicações de interesse são os Sistemas Industriais Automatizados por Controladores Lógicos Programáveis (CLPs) e o planejamento e o controle de missões de Veículos Aéreos Não Tripulados (VANTs).. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (8) / Doutorado: (1) . , Integrantes: Antonio Eduardo Carrilho da Cunha - Coordenador., Número de produções C, T & A: 11

  • 2005 - 2005

    Baterias para Eletrônica Embarcada, Descrição: Contribuir para uma visão geral do projeto do ?Sistema de Posicionamento de PIGs? (SPP), no que tange aos problemas científicos e tecnológicos relacionados ao emprego de baterias como fonte de energia para a eletrônica embarcada.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Antonio Eduardo Carrilho da Cunha - Coordenador / Paulo Cesar Pellanda - Integrante / Maurício Erthal - Integrante., Financiador(es): Centro de Pesquisa e Desenvolvimento Leopoldo Américo Miguêz de Mello - Auxílio financeiro.

Projetos de desenvolvimento

  • 2023 - Atual

    Desenvolvimento de inovações tecnológicas voltadas para a segurança cibernética de sistemas ciberfísicos aplicados em infraestruturas críticas e em comunicações estratégicas e táticas, Projeto certificado pelo(a) coordenador(a) Paulo César Pellanda em 28/05/2023., Descrição: O Laboratório de Segurança Cibernética de Sistemas Ciberfísicos (LaSC) do Instituto Militar de Engenharia (IME) possui uma plataforma de simulação hardware-in-the-loop em tempo real para investigação em segurança cibernética de ciberfísicos submetidos a ataques de malware reais. O objetivo deste projeto é a obtenção de inovações tecnológicas em segurança cibernética aplicadas a infraestruturas industriais críticas e a comunicações estratégicas e táticas. Para atingir este fim, deseja-se adquirir novas capacidades tecnológicas para o laboratório. Almeja-se expandir a capacidade atual de simulação de eventos cibernéticos para Sistemas Elétricos de Potência de grande porte, a fim de melhor atender a demandas relacionadas ao setores de Energia e de Defesa, e expandir as classes de sistemas físicos que podem ser simulados, como sistemas do setor de Óleo e Gás e de interesse específico da Defesa, em particular os sistemas de Comunicações Táticas e Estratégias, que tangenciam o projeto do Rádio Definido por Software (RDS) do Ministério da Defesa (MD), em desenvolvimento no Centro Tecnológico do Exército (CTEx), e os Sistemas de Armas.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Antonio Eduardo Carrilho da Cunha - Integrante / Paulo Cesar Pellanda - Coordenador / Anderson Fernandes Pereira dos Santos - Integrante / José Roberto Pires de Camargo - Integrante / Marcos Vinícius Pimentel - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação.

Prêmios

2011

Menção Honrosa - Prêmio Oscar Niemeyer, CREA-RJ.

2007

Medalha militar e passador de bronze, Exército Brasileiro.

Histórico profissional

Endereço profissional

  • Instituto Militar de Engenharia, Seção de Ensino de Engenharia Elétrica (SE/3). , Praça General Tibúrcio, 80, Praia Vermelha, 22290270 - Rio de Janeiro, RJ - Brasil, Telefone: (21) 38204148, Fax: (21) 25467039

Experiência profissional

2005 - 2006

Universidade do Estado do Rio de Janeiro

Vínculo: Colaborador, Enquadramento Funcional: Professor

Outras informações:
Ministrei nos anos 2005 e 2007 a disciplina Técnicas e Ferramentas de Auxílio por Computador no Curso de Especialização em Engenharia Mecatrônica da UERJ.

Atividades

  • 12/2005 - 12/2006

    Ensino, Curso de Especialização em Engenharia Mecatrônica, Nível: Especialização,Disciplinas ministradas, Técnicas e Ferramentas de Auxílio por Computador

2022 - Atual

Instituto Militar de Engenharia

Vínculo: Colaborador, Enquadramento Funcional: Prestador de Tarefa por Tempo Certo

2003 - 2022

Instituto Militar de Engenharia

Vínculo: Servidor Público, Enquadramento Funcional: Professor em Comissão, Carga horária: 40

Outras informações:
Sou Oficial da ativa do Quadro de Engenheiros Militares, atualmente no posto de Major, e estou nomeado como Professor em Comissão do Instituto Militar de Engenharia (IME) desde o início de 2003.

Atividades

  • 06/2015

    Ensino, Engenharia de Defesa, Nível: Pós-Graduação,Disciplinas ministradas, Automação, Tópicos Especiais em Engenharia de Sistemas, Ciências, Tecnologia e Inovação em Sistemas de Defesa

  • 02/2003

    Ensino, Engenharia Elétrica, Nível: Graduação,Disciplinas ministradas, Automação de Sistemas e Instrumentação Industrial, Projeto de Sistemas de Controle, Sistemas de Controle I, Sistemas de Controle II, Fundamentos de Engenharia Elétrica, Circuitos Elétricos I, Circuitos Elétricos II

  • 01/2003

    Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Modelagem e Análise de Sistemas a Eventos Discretos, Controle Supervisório de Sistemas a Eventos Discretos, Programação

  • 01/2003

    Conselhos, Comissões e Consultoria, Subdivisão de Concursos (SD/3).,Cargo ou função, Membro da Banca de Matemática.

  • 01/2020 - 04/2022

    Direção e administração, Seção de Engenharia de Defesa.,Cargo ou função, Chefe de Seção.

  • 06/2015 - 03/2019

    Direção e administração, Divisão de Ensino e Pesquisa, Programa de Pós-Graduação em Engenharia de Defeda (PGED).,Cargo ou função, Coordenador de Pós-Graduação.

  • 10/2012 - 10/2014

    Direção e administração, Departamento de Engenharia Elétrica, Programa de Pós-Graduação em Engenharia Elétrica.,Cargo ou função, Coordenador de Pós-Graduação.

  • 01/2006 - 01/2009

    Conselhos, Comissões e Consultoria, Subdivisão de Projeto, Pesquisa e Atividades de Extensão (SD/4).,Cargo ou função, Membro do Conselho de Pesquisa.

  • 01/2004 - 01/2009

    Conselhos, Comissões e Consultoria, Seção de Ensino de Engenharia Elétrica (SE/3).,Cargo ou função, Coordenador de Pesquisa.

1995 - 1997

Centro Tecnológico do Exército, CTEx

Vínculo: Colaborador, Enquadramento Funcional: Adjunto de Laboratório, Carga horária: 40

Outras informações:
Trabalhei durante três anos (1995 a 1997) no Instituto de Projetos Especiais (IPE) no Centro Tecnológico do Exército (CTEx).

Atividades

  • 01/1995 - 12/1997

    Outras atividades técnico-científicas , Instituto de Projetos Especiais, Instituto de Projetos Especiais.,Atividade realizada, Adjunto de Laboratório.

1997 - 1997

Instituto de Engenharia Nuclear

Vínculo: Colaborador, Enquadramento Funcional: Estagiário, Carga horária: 40

Outras informações:
Realizei estágio de um mês no IEN na área de Automação e Instrumentação.

Atividades

  • 04/1997 - 05/1997

    Estágios , Laboratório de Automação.,Estágio realizado, Estágio em automação e instrumentação nuclear.

2022 - Atual

Grupo IBMEC

Vínculo: Celetista, Enquadramento Funcional: Professor

Atividades

  • 02/2022

    Ensino, Engenharia Mecânica, Nível: Graduação,Disciplinas ministradas, Tecnologias Mecânicas