Artigos publicados em revistas internacionais:

  1. V. S. L. Oliveira, F. G. Cabral, M. V. Moreira. K-Loss Robust Codiagnosability of Discrete-Event Systems. AUTOMATICA, v. 140, p. 110222, 2022.
  2. M. V. Moreira, F. G. Cabral, W. R. Silveira. An Efficient Algorithm for the Verification of Codiagnosability of Discrete Event Systems With Dynamic Observations. JOURNAL OF CONTROL, AUTOMATION AND ELECTRICAL SYSTEMS, v. 33, p. 92-102, 2022.
  3. A. C. T. Bonafim, F. G. Cabral, M. V. Moreira. An Effective Approach for Fault Diagnosis of Discrete-Event Systems Modeled as Safe Labeled Petri Nets. CONTROL ENGINEERING PRACTICE, v. 123, p. 105168, 2022.
  4. A. P. Vasconvellos, G. S. Viana, M. V. Moreira. Reduction of Diagnosers for Discrete-Event Systems. JOURNAL OF CONTROL, AUTOMATION AND ELECTRICAL SYSTEMS, v. 33, p. 92–102, 2022.
  5. P. M. Lima, M. V. S. Alves, L. K. Carvalho, M. V. Moreira. Security of Cyber-Physical Systems: Design of a Security Supervisor to Thwart Attacks. IEEE Transactions on Automation Science and Engineering, doi: 10.1109/TASE.2021.3076697, 2021.
  6. L. K. Carvalho, M. V. Moreira, J. C. Basilio. Comparative analysis of related notions of robust diagnosability of Discrete-Event Systems. ANNUAL REVIEWS IN CONTROL, v. 51, p. 23-36, 2021.
  7. M. Z. M. Veras, F. G. Cabral, M. V. Moreira. Distributed synchronous diagnosis of discrete event systems modeled as automata. CONTROL ENGINEERING PRACTICE, v. 115, p. 104892, 2021.
  8. M. V. S. Alves, A. E. C. da Cunha, L. K. Carvalho, M. V. Moreira, J. C. Basilio. Robust supervisory control of discrete event systems against intermittent loss of observations, International Journal of Control, v. 94, n.7, p. 2008-2020, 2021.
  9. F. G. Cabral, M. V. Moreira. Synchronous Diagnosis of Discrete-Event Systems. IEEE Transactions on Automation Science and Engineering, v. 17, p. 921-932, 2020.
  10. R. P. C. De Souza, M. V. Moreira, J.-J. Lesage. Fault detection of Discrete-Event Systems based on an identified timed model. CONTROL ENGINEERING PRACTICE, v. 105, p. 104638, 2020.
  11. M. V. Moreira, J.-J. Lesage. Discrete event system identification with the aim of fault detection. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, v. 29, p. 191-209, 2019.
  12. M. V. Moreira, J.-J. Lesage. Fault diagnosis based on identified discrete-event models. CONTROL ENGINEERING PRACTICE, v. 91, p. 104101, 2019.
  13. P. M. Lima, M. V. S. Alves, L. K. Carvalho, M. V. Moreira. Security Against Communication Network Attacks of Cyber-Physical Systems. Journal of Control, Automation and Electrical Systems, v. 30, p. 125-135, 2019.
  14. O. Diene, M. V. Moreira, E. A. Silva, V. R. Alvarez, C. F. Nascimento. Diagnosability of Hybrid Systems. IEEE Transactions on Control Systems Technology, v. 1, p. 386-393, 2019.
  15. G. S. Viana, M. V. Moreira, J. C. Basilio. Codiagnosability Analysis of Discrete-Event Systems Modeled by Weighted Automata. IEEE Transactions on Automatic Control, v. 64, n. 10, p. 4361 – 4368, 2019.
  16. C. E. V. Nunes, M. V. Moreira, M. V. S. Alves, L. K. Carvalho, J. C. Basilio. Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation. Discrete Event Dynamic Systems: Theory and Applications, vol. 28, 215-246, 2018.
  17. A. G. C. Gonzalez, M. V. S. Alves, G. S. Viana, L. K. Carvalho, J. C. Basilio. Supervisory Control-Based Navigation Architecture: A New Framework for Autonomous Robots in Industry 4.0 Environments. IEEE Transactions on Industrial Informatics, vol. 14, 1732-1743, 2018.
  18. L. P. M. Santoro, M. V. Moreira, J. C. Basilio. Computation of minimal diagnosis bases of Discrete-Event Systems using verifiers. Automatica, vol. 77, 93-102, 2017.
  19. J. H. A. Tomola, F. G. Cabral, L. K. Carvalho, M. V. Moreira. Robust Disjunctive-Codiagnosability of Discrete-Event Systems Against Permanent Loss of Observations. IEEE Transactions on Automatic Control, v. 62, p. 5808-5815, 2017.
  20. L. K. Carvalho, M. V.  Moreira, J. C.  Basilio. Diagnosability of intermittent sensor faults in discrete event systems. Automatica, vol. 79, 315-325, 2017.
  21. L. B. Clavijo,  J. C. Basilio. Empirical studies in the size of diagnosers and verifiers for diagnosability analysis. Discrete Event Dynamic Systems-Theory And Applications, vol. 27, 701-739, 2017.
  22. M. V. S. Alves, L. K. Carvalho, J. C.  Basilio. New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage. IEEE Transactions on Automatic Control, vol. 62, 5902-5908, 2017.
  23. M. V. Moreira, J. C.  Basilio, F. G. Cabral. “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, vol. 61, 178-181, 2016.
  24. F. G. Cabral, M. V. Moreira, O. Diene, J. C. Basilio. A Petri Net Diagnoser for discrete event systems modeled by finite state automata. IEEE Transactions on Automatic Control, vol. 60, 59-71, 2015.
  25. M. V.  Moreira, J. C. Basilio. Bridging the Gap Between Design and Implementation of Discrete-Event Controllers. IEEE Transactions on Automation Science and Engineering, vol. 11, 48-65, 2014.
  26. L. K. Carvalho, M. V. Moreira, J. C. Basilio, S. Lafortune. Robust diagnosis of discrete-event systems against permanent loss of observations. Automatica, vol. 49, 223-231, 2013.
  27. M. V. Moreira and J. C. Basilio. Fair and square computation of inverse Z-transforms of rational functions. IEEE Transactions on Education, vol. 55, 285–290. 2012.
  28. J. C. Basilio, S. T. S. Lima, S. Lafortune, M. V. Moreira. Computation of minimal event bases that ensure diagnosability. Discrete Event Dynamic Systems, v. 22, p. 249-292, 2012.
  29. L. K. Carvalho, J. C. Basilio, M. V. Moreira. Robust diagnosis of discrete event systems against intermittent loss of observations. Automatica, vol. 48, 2068-2078, 2012.
  30. M. V. Moreira, T. C. Jesus, J. C. Basilio. Polynomial time verification of decentralized diagnosability of discrete event systems. IEEE Transactions on Automatic Control, vol. 56, 1679–1684. 2011.
  31. J. C. Basilio, J. A. Silva Jr., L. G. B. Rolim, M. V. Moreira. H-infinity design of rotor flux-oriented current-controlled induction motor drives: speed control, noise attenuation and stability robustness. IET Control Theory and Applications, vol. 4, 2491–2505. 2010.
  32. M. V. Moreira,  J. C. Basilio. Characteristic locus method robustness improvement through optimal static normalizing pre-compensation. International Journal of Robust and Nonlinear Control, vol. 20, 371-386. 2010.
  33. Basilio, J. C., Manhães, R. R. (2008). Benchmark construction with application to PID controller design and implementation. International Journal of Electrical Engineering Education, vol. 45, 51-71.
  34. M. V. Moreira,  J. C. Basilio. Fragility problem revisited: overview and reformulation. IET Control Theory and Applications, vol. 1, 1496-1503. 2007.
  35. J. C.  Basilio. Book review: PID controllers for time-delay systems, Guillermo J. Silva, Aniruddha Datta and S. P. Bhattacharyya, Birkhäuser, Boston, 2005, 330pp., US$ 79.95, ISBN 0-8176-4266-8. International Journal of Robust and Nonlinear Control, vol. 16, 415-419. 2006.
  36. M. V. Moreira, J. C. Basilio.  Rational Stabilizing Commutative Controllers: parameterisation and characterisation of degrees of freedom. International Journal of Control, vol. 49, 1601-1612. 2006.
  37. J. C.Basilio, M. V. Moreira. State-space parameter identification in a second control laboratory. IEEE Transactions on Education, vol. 47, 204-210. 2004.
  38. J. C. Basilio, M. V. Moreira. A robust solution of the generalized polynomial Bezout identity. Linear Algebra and Its Applications, vol. 385, 287-303. 2004.
  39. J. C. Basilio. A laboratory for a first course in control systems. International Journal of Electrical Engineering Education, vol. 39 , 54-70. 2002.
  40. J. S. Garcia, J. C. Basilio. Computation of reduced-order models of multivariable systems by balanced truncation. International Journal of Systems Science, vol. 33, 847-854. 2002.
  41. J. C. Basilio. Inversion of polynomial matrices via state-space. Linear Algebra and Its Applications, vol. 357, 259-271.  2002.
  42. J. C. Basilio, S. R. Matos. Design of PI and PID controllers with transient performance specification. IEEE Transactions on Education, vol. 45, 364-370.  2002. 
  43. J. C. Basilio, J. A. Sahate. A normalizing precompensator for the design of effective and realiable commutative controllers. International Journal of Control, vol. 73, 1280-1297. 2000.
  44. J. C. Basilio, B. Kouvaritakis.  An Algorithm for Coprime Matrix Fraction Description using Sylvester Matrices. Linear Algebra and Its Applications, vol. 266, 107-125.  1997.
  45. J. C. Basilio, B. Kouvaritakis. Design of causal reversed-frame-normalizing controllers using bicausal expansions. International Journal of Control, vol. 66, 1-14. 1997.
  46. J. C. Basilio, B. Kouvaritakis.  The use of rational eigenvector approximations in commutative controllers. International Journal of Control, vol. 61, 333-356. 1995.
  47. B. Kouvaritakis, J. C. Basilio,  Bi-causal eigenvector sequences and the design of causal commutative controllers. International Journal of Control, vol. 59, 1173-1199. 1994.