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

 Research Interests

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

Education

Curriculum Vitae (Lattes - in Portuguese)

http://lattes.cnpq.br/6597639502375175

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. Veras, M. Z. M. ; CABRAL, F. G. ; Moreira, M. 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.
  2.  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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. Moreira, M. V. ; CABRAL, F. G. ; Diene, O.; Basilio, J. C.; 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.
  9. 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.
  10. 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.