Home

Professor, Department of Automation and Systems (DAS), Federal University of Santa Catarina (UFSC)

Automation and Systems Engineering Program (PGEAS)

National Organizing Committee Member of  WODES (Workshop on Discrete Event Systems) 2020.

Founder and editor of Vida Estudantil (Student life), in Portuguese only.

Research Interests

  • Discrete Event Systems (DESs);
  • Fault Diagnosis of DESs;
  • Supervisory Control of DESs;
  • Smartgrids;
  • Engineering education;

Education

Curriculum Vitae (Lattes - in Portuguese)

Master's Dissertation

Thesis

Publications in Journals

  1. CABRAL, F. G.; MOREIRA, M. V.; Synchronous Diagnosis of Discrete-Event Systems. IEEE Transactions on Automation Science and Engineering, v. 17, p. 921-932, 2020.
  2. Tomola, J. H. A.; CABRAL, F. G.; Carvalho, L. K.; Moreira, M. V.; Robust Disjunctive-Codiagnosability of Discrete-Event Systems Against Permanent Loss of Observations. IEEE Transactions on Automatic Control, v. 62, p. 5808-5815, 2017.
  3. Moreira, M. V.; Basilio, J. C.; CABRAL, F. G.; "Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems" Versus "Decentralized Failure Diagnosis of Discrete Event Systems": A Critical Appraisal. IEEE Transactions on Automatic Control, v. 61, p. 178-181, 2016.
  4. CABRAL, F. G.; Moreira, M. V.; Diene, O.; Basilio, J. C.; A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata. IEEE Transactions on Automatic Control, v. 60, p. 59-71, 2015.

Conferences

1. ARAUJO, G. ; CABRAL, FELIPE G. ; MOREIRA, MARCOS V. . Diagnosticabilidade Síncrona Distribuída de Sistemas a Eventos Discretos Sujeita a Atrasos de Comunicação de Eventos. In: XXIII Congresso Brasileiro de Automática (CBA 2020), 2020, Porto Alegre, RS. Anais do XXIII Congresso Brasileiro de Automática (CBA 2020), 2020.
2. Rabelo, R. J. ; MAGALHAES, L. C. ; CABRAL, FELIPE G. . Uma Proposta de Arquitetura de Referência de Gêmeo Digital para Sistemas Ciberfísicos em um cenário de Indústria 4.0. In: XXIII Congresso Brasileiro de Automática (CBA 2020), 2020, Porto Alegre, RS. Anais do XXIII Congresso Brasileiro de Automática (CBA 2020), 2020.
3. SILVA, J. ; WESSLER, V. ; SCHOENKNECHT, M. ; SILVESTRE, I. ; CABRAL, FELIPE G. ; de Lellis, M. ; Trofino, A. . Projeto da unidade de voo de um aerogerador com aerofólio cabeado. In: XXIII Congresso Brasileiro de Automática (CBA 2020), 2020, Porto Alegre, RS. Anais do XXIII Congresso Brasileiro de Automática (CBA 2020), 2020.
4. OLIVEIRA, V. ; CABRAL, FELIPE G. ; MOREIRA, MARCOS V. . K-loss robust diagnosability of discrete-event systems. In: Workshop on discrete event systems (WODES 2020), 2020, Rio de Janeiro. Workshop on discrete event systems (WODES 2020), 2020.
5. VERAS, M. Z. M. ; CABRAL, FELIPE G. ; MOREIRA, MARCOS V. . Distributed Synchronous Diagnosability of Discrete-Event Systems. In: 14th Workshop on Discrete Event Systems, 2018, Sorrento Coast. 14th Workshop on Discrete Event Systems, 2018.
6. CABRAL, F. G.Moreira, M. V. . Synchronous Codiagnosability of Modular Discrete-Event Systems. In: 20th World Congress of the International Federation of Automatic Control, 2017, Toulouse, France. Preprints of the 20th World Congress of the International Federation of Automatic Control, 2017. p. 7025-7030.
7. CABRAL, F. G.; VERAS, M. Z. M. ; Moreira, M. V. . Conditional synchronized diagnoser for modular discrete-event systems. In: 14th International Conference on Informatics in Control, Automation and Robotics, 2017, Madrid, Spain. 14th International Conference on Informatics in Control, Automation and Robotics, 2017. v. 2. p. 88-97.
8. CABRAL, F. G.; TOMOLA, J. H. ; Moreira, M. V. . Algorithms for the verification of synchronous diagnosability and computation of the delay bound for diagnosis of modular discrete event systems. In: XXI Congresso Brasileiro de Automática, 2016, Vitória/ES. Anais do XXI Congresso Brasileiro de Automática, 2016.
9. CABRAL, F. G.Moreira, M. V. ; Diene, O. . Diagnosticabilidade de Falhas em Sistemas a Eventos Discretos Modulares. In: XII Simpósio Brasileiro de Automação Inteligente, 2015, Natal - RN. Anais do XII SBAI, 2015.
10. SILVA, E. A. R. ; Alvarez, V. R. ; Diene, O. ; Moreira, M. V. ; CABRAL, F. G. . Modelagem do Sistema de Controle da Máquina do Leme de um Navio Utilizando o Autômato Híbrido. In: XII Simpósio Brasileiro de Automação Inteligente, 2015, Natal - RN. Anais do XII SBAI, 2015.
11. CABRAL, F. G.Moreira, M. V. ; Diene, O. . Online fault diagnosis of modular discrete-event systems. In: 54th IEEE Conference on Decision and Control, 2015, Osaka. 54th IEEE Conference on Decision and Control, 2015. p. 4450-4455.
12. Moreira, M. V. ; CABRAL, F. G. ; Diene, O. ; BASILIO, J. C. S. . Implementação de uma rede de Petri para diagnose online de falhas em controladores lógicos programáveis. In: XI Simpósio Brasileiro de Automação Inteligente, 2013, Fortaleza. Anais do XI Simpósio Brasileiro de Automação Inteligente, 2013.
13. Moreira, M. V. ; CABRAL, F. G. ; Diene, O. . Diagnosticador rede de Petri para um SED modelado por um autômato finito. In: XIX Congresso Brasileiro de Automática, 2012, Campina Grande. XIX Congresso Brasileiro de Automática, 2012. v. 1. p. 3723-3730.
14. Moreira, M. V. ; CABRAL, F. G. ; Diene, O. . Petri net diagnoser for DES modeled by finite state automata. In: 51st IEEE Conference on Decision and Control, 2012, Maui. 51st IEEE Conference on Decision and Control, 2012. v. 1. p. 1-7.