Iury Valente de Bessa

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


Possui graduação em Engenharia Elétrica - Eletrônica pela Universidade Federal do Amazonas (2013) e mestrado em Engenharia Elétrica pela Universidade Federal do Amazonas (2015). Desde 2015, é professor assistente da Universidade Federal do Amazonas filiado ao Departamento de Eletricidade, ministrando disciplinas das áreas de sistemas de controle e circuitos elétricos para os cursos de Engenharia Elétrica e Engenharia da Computação e exercendo atividades em conjunto com o grupo de pesquisas e-Controls. Atualmente, é aluno de doutorado em Engenharia Elétrica na Universidade Federal de Minas Gerais, na linha de pesquisa Modelagem, Análise e Controle de Sistemas Não Lineares. Seus interesses de pesquisa incluem detecção, diagnóstico e prognóstico de falhas, controle tolerante a falhas, inteligência computacional, verificação e síntese formal de sistemas de controle, e robótica móvel. (Texto informado pelo autor)


Identificação


Nome
Iury Valente de Bessa
Nome em citações bibliográficas
BESSA, I. V.;BESSA, IURY VALENTE DE;BESSA, IURY V.;DE BESSA, IURY VALENTE;BESSA, IURY;DE BESSA, IURY V.


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


2018
Doutorado em andamento em Engenharia Elétrica.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Síntese de Blocos de Reconfiguração Baseada em Dados,
Orientador: Reinaldo Martinez Palhares.
Palavras-chave: Controle Tolerante a Falhas; Controle Reconfigurável; Controle Baseado em Dados; Fault Hiding.
Grande área: Engenharias
2014 - 2015
Mestrado em Engenharia Elétrica.
Universidade Federal do Amazonas, UFAM, Brasil.
Título: Esquema de Detecção e Diagnóstico de Falhas Baseado em Dados para Benchmark de Turbina Eólica,Ano de Obtenção: 2015.
Orientador: João Edgar Chaves Filho.
Coorientador: Reinaldo Martinez Palhares.
Bolsista do(a): Fundação de Amparo a Pesquisa do Estado do Amazonas, FAPEAM, Brasil.
Grande área: Engenharias
2008 - 2013
Graduação em Engenharia Elétrica - Eletrônica.
Universidade Federal do Amazonas, UFAM, Brasil.
Título: Robô Móvel com Diagnóstico de Faltas.
Orientador: João Edgar Chaves Filho.




Atuação Profissional



Universidade Federal do Amazonas, UFAM, Brasil.
Vínculo institucional

2015 - Atual
Vínculo: , Enquadramento Funcional: Professor Assistente, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2014 - 2015
Vínculo: Bolsista, Enquadramento Funcional: Mestrado

Atividades

07/2017 - Atual
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Laboratório de Sistema de Controle
Sistema de Controle
03/2017 - Atual
Ensino, Engenharia Elétrica, Nível: Graduação

Disciplinas ministradas
Laboratório de Circuitos Elétricos I
Materiais Elétricos
Circuitos Elétricos I
10/2016 - Atual
Ensino, Engenharia Elétrica, Nível: Graduação

Disciplinas ministradas
Eletricidade Geral
Laboratório de Eletricidade Geral
Laboratório de Sistemas de Controle
05/2016 - Atual
Ensino, Engenharia Elétrica - Eletrotécnica, Nível: Graduação

Disciplinas ministradas
Medidas Elétricas
Laboratório de Circuitos Elétricos I
Laboratório de Eletricidade Geral
11/2015 - Atual
Pesquisa e desenvolvimento , Faculdade de Tecnologia, .

02/2016 - 04/2016
Ensino, Engenharia Elétrica, Nível: Graduação

Disciplinas ministradas
Circuitos Elétricos II

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

2015 - 2015
Vínculo: Servidor Público, Enquadramento Funcional: Efetivo, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

03/2015 - 12/2015
Pesquisa e desenvolvimento , INSTITUTO FEDERAL DE EDUCAÇÃO CIÊNCIA E TECNOLOGIA DO AMAZONAS, .

06/2015 - 11/2015
Ensino, Eletrônica Industrial, Nível: Graduação

Disciplinas ministradas
Componentes Eletroeletrônicos
06/2015 - 11/2015
Ensino,

Disciplinas ministradas
Servomecânismo e Motores
06/2015 - 11/2015
Ensino, Mecatrônica Industrial, Nível: Graduação

Disciplinas ministradas
Teoria de Controle
04/2015 - 07/2015
Ensino,

Disciplinas ministradas
Eletrônica Analógica
Eletrônica Digital
04/2015 - 06/2015
Ensino,

Disciplinas ministradas
Eletrônica Digital
Eletrônica Analógica II


Linhas de pesquisa


1.
Visão Computacional
2.
Controle e Automação
3.
Robótica Móvel
4.
Verificação de Software e Sistemas
5.
Detecção e Diagnóstico de Falhas
6.
Sistemas de Controle


Projetos de pesquisa


2016 - 2017
DSVerifier: A Bounded Model Checking Tool to Verify Digital Systems with Uncertainties

Projeto certificado pelo(a) coordenador(a) Lucas Carvalho Cordeiro em 17/09/2017.
Descrição: Digital controllers are widely used by the control engineering community because of various advantages over analog controllers such as improved reliability, sensitivity, flexibility, and cost. However, there are disadvantages in the use of digital controllers, e.g., errors that are introduced during the quantization process. In this context, there are some initiatives to solve problems that appear in the discrete-time domain; in particular, problems related to the finite word-length (FWL) effects. For this project, a bounded model checking tool for verifying closed-loop digital control systems with uncertainties is proposed, named Digital System Verifier (DSVerifier). DSVerifier checks the stability and performance of digital systems considering FWL effects. This project will provide the software library support, which is needed for CBMC, to verify common closed-loop associations of digital control systems (series and feedback), check typical properties of digital control systems (overflow and limit cycle), and verify stability and quantization noise for uncertain plant models, considering unknown parameters and FWL effects. We aim to disseminate our work via Mathworks, the leading vendor in the domain..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (2) .
Integrantes: Iury Valente de Bessa - Integrante / Lucas C. COrdeiro - Coordenador / João Edgar Chaves Filho - Integrante / Hussama Ismail Ibrahim - Integrante / Daniel Kroening - Integrante / Lennon Chaves - Integrante / Felipe Rodrigues Monteiro Souza - Integrante.Financiador(es): Agency for funding research in engineering and the physical sciences - Outra.
2016 - Atual
DSVerifier-Aided Verification Applied to Control Software in Unmanned Aerial Vehicles

Projeto certificado pelo(a) coordenador(a) Lucas Carvalho Cordeiro em 10/02/2016.
Descrição: Este projeto tem como objetivo financiar a visita do Prof. Dr. Michael Tautschnig da Queen Mary University of London para trabalhar no desenvolvimento de métodos algorítmicos para verificação de modelos baseados em prova de corretude por indução matemática, invariantes e interpretação abstrata, com o intuito de aplicá-los na verificação de software de controle embarcado em Veículos Aéreos Não Tripulados (VANTs)..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (3) .
Integrantes: Iury Valente de Bessa - Integrante / Hussama Ismail Ibrahim - Integrante / CORDEIRO, LUCAS CARVALHO - Coordenador / de Lima Filho, Eddie B. - Integrante / Chaves Filho, João E. - Integrante / Michael Tautsching - Integrante.Financiador(es): Conselho Nacional das Fundações Estaduais de Amparo à Pesquisa - Auxílio financeiro.


Projetos de extensão


2017 - Atual
Descrição e Dimensionamento de Sistemas Fotovoltaicos Autônomos
Descrição: A região Amazônica apresenta um grande potencial de radiação solar. Neste sentido, a implantação de sistema de energia solar Fotovoltaica torna-se uma excelente alternativa, objetivando tanto a redução dos gastos com energia elétrica como o consumo sustentável da energia. Entretanto a dificuldade na qualificação de mão de obra é um desafio que as instituições federais de ensino têm que solucionar. Neste sentido, um curso de capacitação em energia solar fotovoltaica, voltado para sistemas autônomos é de grande relevância para o desenvolvimento da região. A região Amazônica apresenta um nível de irradiância que está na faixa de 5000 a 5300 W/m2. Além de ser uma alternativa para levar energia elétrica aos lugares mais distante na região. Este curso será voltado para estudantes e profissionais da sociedade que desejam obter conhecimentos técnicos e teóricos a cerca de energia fotovoltaica. O curso terá por objetivo abordar e capacitar os participantes tanto do ponto de vista econômico, empreendedor quanto do ponto de vista técnico, na implantação de sistemas fotovoltaicos autônomos.
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (4) .
Integrantes: Iury Valente de Bessa - Integrante / João Edgar Chaves Filho - Integrante / Luiz Eduardo Sales e Silva - Integrante / Renan Landau Paiva de Medeiros - Coordenador / Cleonor Crescêncio das Neves - Integrante / Luiz Roberto Coelho Sena - Integrante / Luiz Henrique Coelho Sena - Integrante / Marenice Melo de Carvalho - Integrante / Nei Junior da Silva Farias - Integrante.
2017 - Atual
Modelagem e Simulação de Sistemas Dinâmicos
Descrição: A simulação computacional consiste em utilizar recursos computacionais para reproduzir o comportamento de sistemas físicos. Tais experimentos são relevantes na formação de um engenheiro, uma vez que diversas vezes a planta que será objeto de estudo é inacessível, e testes de soluções propostas podem implicar em grandes perdas materiais e ameaças a segurança. Desta forma, esse projeto visa introduzir algumas técnicas básicas de simulação computacional de sistemas por meio de métodos numéricos aplicados sobre modelos descritos por linhas de comandos e diagramas em blocos, além de apresentar o conceito de simulações com Hardware-in-Loop..
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (6) .
Integrantes: Iury Valente de Bessa - Coordenador / João Edgar Chaves Filho - Integrante / Luiz Eduardo Sales e Silva - Integrante / Renan Landau Paiva de Medeiros - Integrante / Nei Junior da Silva Farias - Integrante / Jonathas Gregório Kerber - Integrante / Gabriel Alisson Costa Queiroz - Integrante / Arllem de Oliveira Farias - Integrante / Mateus Figueira de Araújo - Integrante / Diogo Augusto Nascimento e Araujo - Integrante.


Revisor de periódico


2015 - Atual
Periódico: Journal of the Franklin Institute
2016 - Atual
Periódico: IEEE Transactions on Industrial Electronics
2018 - Atual
Periódico: ISA TRANSACTIONS
2018 - Atual
Periódico: IEEE Access
2018 - Atual
Periódico: JOURNAL OF CONTROL, AUTOMATION AND ELECTRICAL SYSTEMS


Áreas de atuação


1.
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.
2.
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.


Idiomas


Inglês
Compreende Bem, Fala Pouco, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:34
Total de citações:47
Fator H:3
Bessa, Iury V  Data: 01/11/2018

SCOPUS
Total de trabalhos:20
Total de citações:80
Bessa, Iury V. de Bessa, Iury Valente Bessa, Iury Bessa, Iury Valente de de Bessa, Iury V.  Data: 03/11/2018

Artigos completos publicados em periódicos

1.
MEDEIROS, RENAN LANDAU PAIVA DE2018MEDEIROS, RENAN LANDAU PAIVA DE ; BARRA, WALTER ; BESSA, IURY VALENTE DE ; CHAVES FILHO, JOÃO EDGAR ; AYRES, FLORINDO ANTONIO DE CAVALHO ; NEVES, CLEONOR CRESCÊNCIO DAS . Robust decentralized controller for minimizing coupling effect in single inductor multiple output DC-DC converter operating in continuous conduction mode. ISA TRANSACTIONS, p. 112-129, 2018.

2.
FARIAS, ARLLEM O.2018FARIAS, ARLLEM O. ; QUEIROZ, GABRIEL ALISSON C. ; BESSA, IURY V. ; MEDEIROS, RENAN LANDAU P. ; Cordeiro, Lucas C. ; PALHARES, REINALDO M. . Sim3Tanks: A Benchmark Model Simulator for Process Control and Monitoring. IEEE Access, v. 6, p. 62234-62254, 2018.

3.
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.

4.
BESSA, IURY2017 BESSA, IURY; ISMAIL, HUSSAMA ; PALHARES, REINALDO ; CORDEIRO, LUCAS ; FILHO, JOA EDGAR CHAVES . Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty. IEEE TRANSACTIONS ON COMPUTERS, v. 66, p. 545-552, 2017.

5.
BESSA, IURY V.2016 BESSA, IURY V.; Ismail, Hussama I. ; Cordeiro, Lucas C. ; FILHO, JOÃO E. C. . Verification of fixed-point digital controllers using direct and delta forms realizations. Design Automation for Embedded Systems, v. 20, p. 95-126, 2016.

6.
DE BESSA, IURY VALENTE2016 DE BESSA, IURY VALENTE; PALHARES, REINALDO MARTINEZ ; D'ANGELO, MARCOS FLÁVIO SILVEIRA VASCONCELOS ; CHAVES FILHO, JOÃO EDGAR . Data-driven fault detection and isolation scheme for a wind turbine benchmark. Renewable Energy, v. 87, p. 634-645, 2016.

Trabalhos completos publicados em anais de congressos
1.
CHAVES, LENNON ; BESSA, IURY ; CORDEIRO, LUCAS ; KROENING, DANIEL . DSValidator. In: the 21st International Conference, 2018, Porto. Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18, 2018. p. 253.

2.
ALVES, ANDERSON P. ; SANTOS, KENNY V. ; SILVA, LUIZ EDUARDO S. ; MEDEIROS, RENAN L. P. ; BESSA, IURY V. . Single-phase fault detection in balanced 14 bus system using artificial neural networks. In: 2018 Simposio Brasileiro de Sistemas Eletricos (SBSE), 2018, Niteroi. 2018 Simposio Brasileiro de Sistemas Eletricos (SBSE), 2018. p. 1.

3.
FARIAS, A. O. ; KERBER, J. G. ; MEDEIROS, R. L. P. ; BESSA, IURY V. . Estimação de Falhas com Filtro de Kalman Unscented Aumentado para um Sistema de Três Tanques. In: XXII Congresso Brasileiro de Automática, 2018, João Pessoa. Anais do XXII Congresso Brasileiro de Automática, 2018.

4.
QUEIROZ, G. A. C. ; FARIAS, A. O. ; ARAÚJO, R. F. ; MEDEIROS, R. L. P. ; BESSA, IURY V. . Modelagem e Controle por Escalonamento de Ganhos Descentralizado para um Sistema de Três Tanques Acoplados. In: XXII Congresso Brasileiro de Automática, 2018, João Pessoa. Anais do XXII Congresso Brasileiro de Automática, 2018.

5.
ABATE, ALESSANDRO ; BESSA, IURY ; CATTARUZZA, DARIO ; CORDEIRO, LUCAS ; DAVID, CRISTINA ; KESSELI, PASCAL ; KROENING, DANIEL . Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. In: the 20th International Conference, 2017, Pittsburgh. Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control - HSCC '17. New York: ACM Press, 2017. p. 197.

6.
ABATE, A. ; BESSA, I. V. ; CATTARUZZA, D. ; CORDEIRO, L. C. ; DAVID, C. ; KESSELI, P. ; KROENING, D. ; POLGREEN, E. . Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. In: 29th International Conference on Computer-Aided Verification, 2017, Heidelberg. Proceedings of 29th International Conference on Computer-Aided Verification, 2017. p. 1-20.

7.
CHAVES, LENNON ; BESSA, IURY ; CORDEIRO, LUCAS ; KROENING, DANIEL ; LIMA, EDDIE . Verifying digital systems with MATLAB. In: the 26th ACM SIGSOFT International Symposium, 2017, Santa Barbara. Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2017, 2017. p. 388.

8.
BARREIROS, A. A. P. ; MENDONCA, R. S. ; BESSA, I. V. . Construção de um Protótipo Educacional de uma Estação de Medição e Regulagem de Pressão de Gás Natural. In: 45o Congresso Brasileiro de Educação em Engenharia, 2017, Joinville. Anais do 45o Congresso Brasileiro de Educação em Engenharia, 2017.

9.
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.

10.
ABATE, ALESSANDRO ; BESSA, IURY ; CATTARUZZA, DARIO ; CHAVES, LENNON ; CORDEIRO, LUCAS ; DAVID, CRISTINA ; KESSELI, PASCAL ; KROENING, DANIEL ; POLGREEN, ELIZABETH . DSSynth: An automated digital controller synthesis tool for physical plants. In: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017, Urbana. 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017. p. 919.

11.
ALBUQUERQUE, H. ; ARAUJO, R. F. ; BESSA, I. V. ; CORDEIRO, L. C. ; Lima Filho, E. B. . OptCE: A Counterexample-Guided Inductive Optimization Solver. In: XX Brazilian Symposium on Formal Methods, 2017, Recife. XX Brazilian Symposium on Formal Methods, 2017.

12.
CAVALCANTE, THIAGO RODRIGO FELIX ; BESSA, IURY VALENTE DE ; CORDEIRO, LUCAS CARVALHO . Planning and Evaluation of UAV Mission Planner for Intralogistics Problems. In: 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC), 2017, Curitiba. 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC), 2017. p. 9.

13.
NASCIMENTO, D. ; CRUZ, P. ; MENDONCA, R. S. ; BESSA, I. V. . Resource allocation through mobile autonomous robots using the educational platform LEGO. In: SBR-LARS - Workshop de Robotica Educacional (WRE 2017), 2017, Curitiba. SBR-LARS - Workshop de Robotica Educacional (WRE 2017), 2017.

14.
CAMARGO, B. F. G. ; RODRIGUES, I. A. C. ; SANTOS, I. G. S. ; PEIXOTO, L. O. S. ; MENDONCA, R. S. ; BESSA, I. V. . PROTÓTIPO: SEPARADOR TRIFASICO HORIZONTAL. In: 9o CONGRESSO BRASILEIRO DE PESQUISA E DESENVOLVIMENTO EM PETRÓLEO E GÁS, 2017, Maceió. Anais do 9o CONGRESSO BRASILEIRO DE PESQUISA E DESENVOLVIMENTO EM PETRÓLEO E GÁS, 2017.

15.
SILVA, C. R. ; MINHOS, J. F. ; MENDONCA, R. S. ; BESSA, I. V. . PROTÓTIPO: BOMBEIO POR CAVIDADE PROGRESSIVA. In: 9o CONGRESSO BRASILEIRO DE PESQUISA E DESENVOLVIMENTO EM PETRÓLEO E GÁS, 2017, Maceió. Anais do 9o CONGRESSO BRASILEIRO DE PESQUISA E DESENVOLVIMENTO EM PETRÓLEO E GÁS, 2017.

16.
MELO, D. ; CHAVES, L. ; FREITAS, M. ; CORDEIRO, L. C. ; Silva Júnior, W.S. ; BESSA, IURY V. ; Lima Filho, E. B. ; CLAVIER, L. . Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters. In: XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2017, São Pedro. Anais do XXXV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais (SBrT 2017), 2017.

17.
SANTOS, A. H. L. ; FRUTUOSO, A. B. S. ; BESSA, I. V. ; CHAVES FILHO, J. E. . RELAY FEEDBACK METHOD FOR A QUADROTOR ALTITUDE CONTROL. In: XXI Congresso Brasileiro de Automática, 2016, Vitória-ES. Anais do XXI Congresso Brasileiro de Automática, 2016.

18.
OLIVEIRA, A. C. ; SILVA, L. E. S. E. ; SANTOS, K. V. ; BESSA, I. V. . Um Sistema para Monitoramento e Controle de Bombas Hidráulicas. In: II Congresso Nacional de Engenharia de Petróleo, Gás Natural e Biocombustíveis, 2016, Natal-RN. Anais do II Congresso Nacional de Engenharia de Petróleo, Gás Natural e Biocombustíveis, 2016.

19.
SOUZA, B. C. P. ; SANTOS, K. V. ; BESSA, I. V. ; TOMAZ JUNIOR, P. D. . Construção de um Protótipo de Vaso Separador Bifásico Horizontal. In: II Congresso Nacional de Engenharia de Petróleo, Gás e Biocombustíveis, 2016, Natal-RN. Anais do II Congresso Nacional de Engenharia de Petróleo, Gás e Biocombustíveis, 2016.

20.
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). p. 1.

21.
IBRAHIM, H. I. ; BESSA, I. V. ; CORDEIRO, L. C. ; Lima Filho, E. B. ; CHAVES FILHO, J. E. . DSVerifier: A Bounded Model Checking Tool for Digital Systems. In: 22nd International SPIN Workshop on Model Checking of Software, 2015, Stellenbosch. Proceedings of 22nd International SPIN Workshop on Model Checking of Software, 2015.

22.
BESSA, I. V.; ABREU, R. ; CORDEIRO, L. C. ; CHAVES FILHO, J. E. . SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers. In: 40th Annual Conference of the IEEE Industrial Electronics Society, 2014, Dallas. Proceedings of the 40th Annual Conference of the IEEE Industrial Electronics Society, 2014. p. 295-301.

23.
BESSA, IURY VALENTE DE; ISMAIL, HUSSAMA IBRAHIM ; CORDEIRO, LUCAS CARVALHO ; FILHO, JOAO EDGAR CHAVES . Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking. In: 2014 Brazilian Symposium on Computing Systems Engineering (SBESC), 2014, Manaus. 2014 Brazilian Symposium on Computing Systems Engineering. p. 49.

24.
BESSA, I. V.. CONTROLE DE POSIÇÃO DOS ELOS DE UM ROBÔ MANIPULADOR UTILIZANDO CONTROLADORES CLÁSSICOS DIGITAIS. In: 12 CONIC-SEMESP, 2012, São Paulo. 12º CONIC-SEMESP, 2012.

Resumos publicados em anais de congressos
1.
ABATE, A. ; BESSA, I. V. ; CATTARUZZA, DARIO ; CORDEIRO, L. C. ; DAVID, C. ; KESSELI, P. ; KROENING, D. ; POLGREEN, E. . Safe, Automated and Formal Synthesis of Digital Controllers for Continuous Plants. In: 7th Workshop on Synthesis, 2018, Oxford. 7th Workshop on Synthesis, 2018.

Artigos aceitos para publicação
1.
CHAVES, LENNON ; BESSA, IURY V. ; ISMAIL, HUSSAMA ; DOS SANTOS FRUTUOSO, ADRIANO BRUNO ; CORDEIRO, LUCAS ; DE LIMA FILHO, EDDIE BATISTA . DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles. IEEE TRANSACTIONS ON RELIABILITY, 2018.

Apresentações de Trabalho
1.
ARAUJO, R. F. ; RIBEIRO, A. ; BESSA, I. V. ; CORDEIRO, L. C. ; CHAVES FILHO, J. E. . Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning. 2017. (Apresentação de Trabalho/Simpósio).

2.
NASCIMENTO, D. ; CRUZ, P. ; MENDONCA, R. S. ; BESSA, I. V. . Resource allocation through mobile autonomous robots using the educational platform LEGO. 2017. (Apresentação de Trabalho/Simpósio).

3.
IBRAHIM, H. I. ; BESSA, I. V. ; CORDEIRO, L. C. ; Lima Filho, E. B. ; CHAVES FILHO, J. E. . DSVerifier: A Bounded Model Checking Tool for Digital Systems. 2015. (Apresentação de Trabalho/Conferência ou palestra).

4.
BESSA, I. V.; ABREU, R. ; CORDEIRO, L. C. ; CHAVES FILHO, J. E. . SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers. 2014. (Apresentação de Trabalho/Conferência ou palestra).

5.
BESSA, I. V.; IBRAHIM, H. I. ; CORDEIRO, L. C. ; CHAVES FILHO, J. E. . Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking. 2014. (Apresentação de Trabalho/Simpósio).


Produção técnica
Programas de computador sem registro
1.
CORDEIRO, L. C. ; IBRAHIM, H. I. ; BESSA, IURY V. ; Lima Filho, E. B. . DSVerifier - Digital Systems Verifier. 2015.



Bancas



Participação em bancas de trabalhos de conclusão
Trabalhos de conclusão de curso de graduação
1.
LUCENA JUNIOR, V. F.; CRUZ, C. A. M.; BESSA, I. V.. Participação em banca de Mário Alves da Costa Júnior.Aplicação Digital Twin para Detecção de Falhas e Diagnóstico em Equipamentos de Uso Doméstico. 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal do Amazonas.

2.
MEDEIROS, R. L. P.; BESSA, I. V.; AYRES, FLORINDO ANTONIO DE CAVALHO. Participação em banca de Bruno Pinheiro da Silva.Síntese de Controladores Amortecedores de Oscilações Eletromecânicas baseada em Dispositivos FACTS Aplicados em Sistemas Elétricos de Potência. 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia Elétrica - Eletrotécnica) - Universidade Federal do Amazonas.

3.
BESSA, IURY V.; MEDEIROS, R. L. P.; CHAVES FILHO, J. E.. Participação em banca de Mateus Martinez Lucena.Identificação e Controle de um Levitador a Ar. 2018.

4.
BESSA, I. V.; SANTOS, K. V.; MEDEIROS, R. L. P.; CHAVES FILHO, J. E.. Participação em banca de Anderson Paiva Alves.Detecção de Faltas Monofásicas em Sistema Trifásico Equilibrado 14 Bus IEEE Utilizando Redes Neurais Artificiais. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia Elétrica - Eletrotécnica) - Universidade Federal do Amazonas.

5.
LUCENA JUNIOR, V. F.; BESSA, I. V.; SILVA, V. J.. Participação em banca de Robson Guimarães da Cruz.Controle de Robô Móvel Através de Dispositivo de Eletroencefalografia. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal do Amazonas.

6.
MENDONCA, R. S.; BESSA, I. V.; ARAUJO, 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.

7.
BESSA, I. V.; CHAVES FILHO, J. E.; LUCENA JUNIOR, V. F.. Participação em banca de Gabriel Alisson Costa Queiroz.Modelagem de um sistema de três tanques acoplados e controle de nível por agendamento de ganhos com rastreamento de referências. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal do Amazonas.

8.
BESSA, I. V.; CHAVES FILHO, J. E.; CAVALCANTE, A. L. D.. Participação em banca de Rosmael Colsoul de Miranda.Sistema de Navegação para Robôs Móveis Baseado em PID-Fuzzy. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal do Amazonas.

9.
BESSA, I. V.; Silva Júnior, W.S.; MEDEIROS, R. L. P.. Participação em banca de Arllem de Oliveira Farias.ESQUEMA DE DETECÇÃO E ISOLAMENTO DE FALHAS BASEADO EM FILTRO DE KALMAN UNSCENTED PARA UM SISTEMA DE TRÊS TANQUES. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal do Amazonas.

10.
BESSA, I. V.; LOUZADA, J.; MEDEIROS, R. L. P.. Participação em banca de Mateus Lima Mangueira.Controle e Simulação de Uma planta não linear 3DOF usando a ferramenta SIMSCAPE. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia Elétrica - Eletrônica) - Universidade Federal do Amazonas.

11.
CHAVES FILHO, J. E.; BESSA, I. V.; AYRES, FLORINDO ANTONIO DE CAVALHO. Participação em banca de Aloncio Cipriano Gomes Filho.Automação de um instrumento que simula o barbear. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia Elétrica - Eletrônica) - Universidade Federal do Amazonas.

12.
SANTOS, K. V.; CARVALHO, C. B.; BESSA, I. V.. Participação em banca de Alexandre Caldas de Oliveira.MONITORAMENTO E CONTROLE DE BOMBAS HIDRÁULICAS. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal do Amazonas.

13.
SANTOS, K. V.; Silva Júnior, W.S.; BESSA, I. V.. Participação em banca de Bruno Chacon Paixão de Souza.Construção de um Protótipo de Vaso Separador Horizontal. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Petróleo e Gás) - Universidade Federal do Amazonas.

14.
BESSA, IURY V.; FRUTUOSO, A. B. S.; CHAVES FILHO, J. E.. Participação em banca de Suzana Rita Alves Beleza.Modelagem, Descrição e Manipulação de Firmware de um Veículo Aéreo Não-Tripulado. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal do Amazonas.

15.
BESSA, I. V.; TRINDADE, A. B.; SILVA, L. E. S. E.; Silva Júnior, W.S.. Participação em banca de Thiago Rodrigo Félix Cavalcante.Avaliando o Uso de VANTs em Logística de Insumos em Plantas Fabris e na Entrega de Produtos Para Clientes. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal do Amazonas.

16.
FRUTUOSO, A. B. S.; SALES, D. C.; BESSA, I. V.. Participação em banca de Jailson Bina da SIlva.Estabilidade de um Bi-rotor utilizando Controladores PID. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Controle e Automação) - Instituto Federal de Educação, Ciência e Tecnologia do Amazonas.



Participação em bancas de comissões julgadoras
Concurso público
1.
SAMPAIO, V.; BESSA, I. V.; AYRES, FLORINDO ANTONIO DE CAVALHO. Processo Seletivo Simplificado para Contratação de Professor Substituto. 2018. Universidade Federal do Amazonas.

2.
RIBEIRO, E. A. G.; RIJ, B. L. H. V.; BESSA, I. V.. Processo de seleção simplificada para contratação de professor substituto. 2015. Instituto Federal de Educação, Ciência e Tecnologia do Amazonas.

Outras participações
1.
BESSA, I. V.. Comitê Institucional do PIBITI. 2018.

2.
BESSA, I. V.. Comissão de Avaliação de Seleção de projetos referente ao edital Nº 01/2017 ? PIBITI/CNPq/UFAM. 2017. Universidade Federal do Amazonas.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
14th Latin American Robotics Symposium.Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning. 2017. (Simpósio).

2.
8th Workshop of Robotics in Education - WRE 2017.Resource allocation through mobile autonomous robots using the educational platform LEGO. 2017. (Oficina).

3.
22nd International SPIN Workshop on Model Checking of Software.DSVerifier: A Bounded Model Checking Tool for Digital Systems. 2015. (Simpósio).

4.
2014 Brazilian Symposium on Computing Systems Engineering (SBESC).Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking. 2014. (Simpósio).

5.
40th Annual Conference of the IEEE Industrial Electronics Society. SMT-based bounded model checking of fixed-point digital controllers. 2014. (Congresso).



Orientações



Orientações e supervisões em andamento
Trabalho de conclusão de curso de graduação
1.
Luiz Henrique Coelho Sena. Verificação Formal de Redes Neurais Artificiais utilizando Verificação de Modelos Limitada. Início: 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal do Amazonas. (Orientador).


Orientações e supervisões concluídas
Trabalho de conclusão de curso de graduação
1.
Mateus Martínez de Lucena. Identificação e Controle de um Levitador a Ar. 2018. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade Federal do Amazonas. Orientador: Iury Valente de Bessa.

2.
Anderson Paiva Alves. Detecção de Faltas Monofásicas em Sistema Trifásico Equilibrado 14 Bus IEEE Utilizando Redes Neurais Artificiais. 2017. Trabalho de Conclusão de Curso. (Graduação em Engenharia Elétrica - Eletrotécnica) - Universidade Federal do Amazonas. Orientador: Iury Valente de Bessa.

3.
Gabriel Alisson Costa Queiroz. Modelagem de um sistema de três tanques acoplados e controle de nível por agendamento de ganhos com rastreamento de referências. 2017. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade Federal do Amazonas. Orientador: Iury Valente de Bessa.

4.
Rosmael Colsoul de Miranda. Sistema de Navegação para Robôs Móveis Baseado em PID-Fuzzy. 2017. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade Federal do Amazonas. Orientador: Iury Valente de Bessa.

5.
Arllem de Oliveira Farias. ESQUEMA DE DETECÇÃO E ISOLAMENTO DE FALHAS BASEADO EM FILTRO DE KALMAN UNSCENTED PARA UM SISTEMA DE TRÊS TANQUES. 2017. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade Federal do Amazonas. Orientador: Iury Valente de Bessa.

6.
João Victor Lima Lopes. Desenvolvimento de um dispositivo háptico e comparação de técnicas de interação. 2017. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade Federal do Amazonas. Orientador: Iury Valente de Bessa.

7.
Mateus Lima Mangueira. Controle e Simulação de um Helicóptero 3DOF usando o Simscape. 2017. Trabalho de Conclusão de Curso. (Graduação em Engenharia Elétrica - Eletrônica) - Universidade Federal do Amazonas. Orientador: Iury Valente de Bessa.

8.
Suzana Rita Alves Beleza. Modelagem, Descrição e Manipulação de Firmware de um Veículo Aéreo Não-Tripulado. 2016. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade Federal do Amazonas. Orientador: Iury Valente de Bessa.

9.
Thiago Rodrigo Félix Cavalcante. Avaliando o Uso de VANTs em Logística de Insumos em Plantas Fabris e na Entrega de Produtos Para Clientes. 2016. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade Federal do Amazonas. Orientador: Iury Valente de Bessa.

Iniciação científica
1.
Luiz Henrique Coelho Sena. Verificação Formal de Programas baseados no Framework OpenCL. 2017. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal do Amazonas. Orientador: Iury Valente de Bessa.

2.
Jonathas Gregório Kerber. Detecção e diagnóstico de falhas em nanossatélites do padrão CubeSat. 2017. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal do Amazonas, Fundação de Amparo a Pesquisa do Estado do Amazonas. Orientador: Iury Valente de Bessa.

3.
João Victor Lima Lopes. Estudo comparativo de técnicas de interação para dispositivos Hápticos. 2017. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal do Amazonas. Orientador: Iury Valente de Bessa.



Inovação



Programa de computador sem registro
1.
CORDEIRO, L. C. ; IBRAHIM, H. I. ; BESSA, IURY V. ; Lima Filho, E. B. . DSVerifier - Digital Systems Verifier. 2015.




Página gerada pelo Sistema Currículo Lattes em 11/12/2018 às 18:52:28