Rodrigo Farias Araújo

Bolsista de Doutorado do CNPq

  • Endereço para acessar este CV: http://lattes.cnpq.br/2107906714409879
  • Última atualização do currículo em 14/09/2018


Possui graduação em Engenharia Mecatrônica pela Universidade do Estado do Amazonas - UEA (2013) e Mestrado em Engenharia Elétrica na Universidade Federal do Amazonas - UFAM (2017). Atualmente é doutorando em Engenharia Elétrica na Universidade Federal de Minas Gerais - UFMG, na Área de Concentração em Sinais e Sistemas, Linha de Pesquisa em Modelagem, Análise e Controle de Sistemas Não Lineares. (Texto informado pelo autor)


Identificação


Nome
Rodrigo Farias Araújo
Nome em citações bibliográficas
ARAÚJO, R. F.;ARAUJO, RODRIGO;ARAÚJO, RODRIGO F.;ARAUJO, RODRIGO F.


Formação acadêmica/titulação


2017
Doutorado em andamento em Engenharia Elétrica.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Síntese de Controladores para Sistemas de Grande Escala com Interconexões,
Orientador: Reinaldo Martinez Palhares.
Coorientador: Leonardo Antônio Borges Tôrres.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Sistemas de Grande Escala; Sistemas Não-Lineares; Sistemas Interconectados; Sistemas de Controle em Rede; Controle Robusto.
Grande área: Engenharias
2014 - 2017
Mestrado em Engenharia Elétrica.
Universidade Federal do Amazonas, UFAM, Brasil.
Título: Um novo método de otimização baseado em teorias de satisfatibilidade,Ano de Obtenção: 2017.
Orientador: João Edgar Chaves Filho.
Palavras-chave: Otimização; Teorias de Satisfatibilidade; Verificação de Modelos.
Grande área: Engenharias
2008 - 2013
Graduação em Engenharia Mecatrônica.
Universidade do Estado do Amazonas, UEA, Brasil.
Título: Projeto de controladores robustos H2 e Hinf por realimentação de estados através da abordagem por LMIs.
Orientador: Almir Kimura Junior.
2005 - 2008
Curso técnico/profissionalizante em Técnico em Mecatrônica.
Fundação Nokia de Ensino, FNE, Brasil.




Formação Complementar


2007 - 2007
Especialização Técnica em Monitores de Video e TV. (Carga horária: 400h).
Centro de Educação Tecnológica do Amazonas, CETAM, Brasil.


Atuação Profissional



Instituto Federal de Educação, Ciência e Tecnologia do Amazonas, IFAM, Brasil.
Vínculo institucional

2016 - 2017
Vínculo: Servidor Público, Enquadramento Funcional: Professor, Carga horária: 20

Atividades

02/2017 - 07/2017
Ensino,

Disciplinas ministradas
Eletricidade I
Eletrônica Analógica II
Equipamentos de Automação e Controle
01/2017 - 02/2017
Ensino, Engenharia de Controle e Automação, Nível: Graduação

Disciplinas ministradas
Sistemas Digitais
07/2016 - 12/2016
Ensino,

Disciplinas ministradas
Eletricidade II
03/2016 - 07/2016
Ensino,

Disciplinas ministradas
Eletricidade I
Eletrônica Analógica II

Petróleo Brasileiro - Rio de Janeiro - Matriz, PETROBRAS, Brasil.
Vínculo institucional

2010 - 2017
Vínculo: Celetista, Enquadramento Funcional: Técnico de Operações, Carga horária: 33

Atividades

08/2010 - 01/2017
Serviços técnicos especializados , Petrobras Reman - AM, .

Serviço realizado
Execução e participação das atividades de operação das instalações, equipamentos, painéis de controle, sistemas supervisórios e de monitoramento, controlando variáveis operacionais do processo de refino de petróleo.


Áreas de atuação


1.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Controle de Sistemas em Grande Escala.
2.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Controle e Modelagem Fuzzy.
3.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Otimização Multiobjetivo.
4.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Controle Robusto.


Idiomas


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


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
ARAÚJO, RODRIGO F.2017ARAÚJO, RODRIGO F.; Albuquerque, Higo F. ; DE BESSA, IURY V. ; Cordeiro, Lucas C. ; FILHO, JOÃO EDGAR C. . Counterexample guided inductive optimization based on satisfiability modulo theories. SCIENCE OF COMPUTER PROGRAMMING, v. 165, p. 3-23, 2017.

Capítulos de livros publicados
1.
Albuquerque, Higo F. ; ARAÚJO, RODRIGO F. ; Bessa, Iury V. ; Cordeiro, Lucas C. ; de Lima Filho, Eddie B. . OptCE: A Counterexample-Guided Inductive Optimization Solver. In: Cavalheiro S.; Fiadeiro J. (eds). (Org.). Lecture Notes in Computer Science. 1ed.Cham: Springer International Publishing, 2017, v. 10623, p. 125-141.

Trabalhos completos publicados em anais de congressos
1.
QUEIROZ, G. A. C. ; FARIAS, A. O. ; ARAÚJO, R. F. ; MEDEIROS, R. L. P. ; BESSA, I. V. . Modelagem e Controle por Escalonamento de Ganhos Descentralizado para um Sistema de Três Tanques Acoplados. In: Congresso Brasileiro de Automática - CBA, 2018, João Pessoa. Conference Proceedings CBA, 2018.

2.
ARAUJO, RODRIGO F.; RIBEIRO, ALEXANDRE ; Bessa, Iury V. ; Cordeiro, Lucas C. ; FILHO, JOAO E. C. . Counterexample guided inductive optimization applied to mobile robots path planning. In: 2017 Latin American Robotics Symposium (LARS) and 2017 Brazilian Symposium on Robotics (SBR), 2017, Curitiba. 2017 Latin American Robotics Symposium (LARS) and 2017 Brazilian Symposium on Robotics (SBR), 2017. p. 1.

3.
ARAUJO, RODRIGO; BESSA, IURY ; CORDEIRO, LUCAS CARVALHO ; FILHO, JOAO EDGAR CHAVES . SMT-based Verification Applied to Non-convex Optimization Problems. In: 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC), 2016, João Pessoa. 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC), 2016. p. 1.

4.
SCALABRIN, R. F. ; ARAÚJO, R. F. ; KIMURA JUNIOR, A. ; MELO, C. L. S. . Projeto de Controladores Robustos por Realimentação de Estados através da Abordagem por LMIs. In: Congresso Brasileiro de Educação em Engenharia, 2014, Juiz de Fora. Anais do COBENGE, 2014.

Apresentações de Trabalho
1.
ARAÚJO, R. F.. VI Brazilian Symposium on Computing Systems Engineering (SBESC). 2016. (Apresentação de Trabalho/Simpósio).



Bancas



Participação em bancas de trabalhos de conclusão
Trabalhos de conclusão de curso de graduação
1.
MENDONCA, R. S.; BESSA, I. V.; ARAÚJO, R. F.. Participação em banca de Paulo Trajano do Nascimento.Construção de um Protótipo de Sistema de Carregamento e Descarregamento de Embarcações Automatizado. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Petróleo e Gás) - Universidade Federal do Amazonas.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC).SMT-based Verification Applied to Non-convex Optimization Problems. 2016. (Simpósio).




Página gerada pelo Sistema Currículo Lattes em 16/12/2018 às 2:34:58