Artigos publicados em congressos internacionais

  1. M. V. Moreira, J.-J. Lesage. Enhanced discrete event model for system identification with the aim of fault detection. In: 14th Workshop on Discrete Event Systems, 2018, Sorrento Coast. 14th Workshop on Discrete Event Systems, 2018.
  2. F. G. Cabral, M. Z. M. Veras, M. V. Moreira. Distributed Synchronous Diagnosability of Discrete-Event Systems. In: 14th Workshop on Discrete Event Systems, 2018, Sorrento Coast. 14th Workshop on Discrete Event Systems, 2018.
  3. P. M. Lima, L. K. Carvalho, M. V. Moreira. Detectable and Undetectable Network Attack Security of Cyber-physical Systems. In: 14th Workshop on Discrete Event Systems, 2018, Sorrento Coast. 14th Workshop on Discrete Event Systems, 2018.
  4. R. J. Barcelos, J. C. Basilio. Enforcing current-state opacity through shuffle in event observations. Preprints of WODES 2018, 112-117. Sorrento, Italy.
  5. M. V. S.  Alves,  L. K. Carvalho, J.C.  Basilio. Supervisory control of timed networked discrete event systems. Proceedings of the 56th IEEE Conference on Decision and Control, 4859-4865. Melbourne, Australia. 2017
  6. G. S. Viana,  M. V. S. Alves,   J.C.  Basilio. Codiagnosability of timed networked discrete-event systems subject to event communication delays and intermittent loss of observation. Proceedings of the 56th IEEE Conference on Decision and Control, 4211-4216. Melbourne, Australia. 2017.
  7. P. R. R.  Paiva,  L. K. Carvalho,  J. C. Basilio. Diagnosability and online diagnosis of discrete-event systems modeled by acyclic labeled petri nets. Preprints of the 20th IFAC World Congress, 14194-14199. Toulouse, France. 2017.
  8. B. Li, J. C. Basilio, M. Khlif-Bouassida, A. Toguyeni. Polynomial time verification of modular diagnosability of discrete event systems. Preprints of the 20th IFAC World Congress. 14182-14187. Toulouse, France. 2017.
  9. F. G. Cabral, M. V. Moreira. Synchronous Decentralized Diagnosis of Discrete-Event Systems. In: 20th World Congress of the International Federation of Automatic Control, 2017, Toulouse, France. 20th World Congress of the International Federation of Automatic Control, 2017.
  10. C. E. V. Nunes,  M. V. Moreira, M. V. S. Alves,  J.C. Basilio. Network codiagnosability of discrete-event systems subject to event communication delays. Proceedings of the13th Workshop on Discrete Event Systems, 217-223. Xi’an, China.2016.
  11. F. G. Cabral, M. Z. M. Veras, M. V. Moreira. Conditional synchronized diagnoser for modular discrete-event systems. In: 14th International Conference on Informatics in Control, Automation and Robotics, 2017, Madrid. 14th International Conference on Informatics in Control, Automation and Robotics, 2017.
  12. I. Antunes,   L. K. Carvalho,  J. C.  Basilio. A stochastic Petri net model for simulation-based performance analysis of public bicycle sharing systems. Proceedings of the 2016 IEEE Conference on Automation Science and Engineering (CASE), p. 433-439. Fort Worth, TX. 2016.
  13. M. V. S. Alves,   L. K. Carvalho,  J. C.Basilio. New algorithms for verification of relative observability and computation of supremal relatively observable sublanguage. Proceedings of the 2016 IEEE Conference on Control Applications, 526-531. Buenos Aires, Argentina. 2016.
  14.  G. S. Viana,  J. C. Basilio, M.V. Moreira. Computation of the maximum time for failure diagnosis of discrete-event systems. Proceedings of the 2015 american control conference, 396-401. Chicago, IL. 2015.
  15. J. H. A. Tomola,  M. V. Moreira,   J. C. Basilio, L. K. Carvalho. Robust codiagnosability of discrete-event systems against permanent loss of observations. Proceedings of the IEEE International Conference on Automation Science and Engineering (CASE), 813-818. Gothemburg, Sweden. 2015.
  16. M. V. S. Alves,  J. C. Basilio, A. E. C. da Cunha, L. K. Carvalho, M. V. Moreira. Robust supervisory control against intermittent loss of observations. Preprints of the 12th Workshop on discrete event systems,  294-299. Cachan, France. 2014.
  17. L. Santoro, M. V. Moreira,  J. C. Basilio,  O. Diene. Computation of minimal diagnosis bases of discrete-event systems using verifiers: method of the ambiguous cyclic paths. Preprints of the 12th Workshop on discrete event systems, 440-445. Cachan, France. 2014.
  18. L. K. Carvalho,  J. C.  Basilio,  M. V. Moreira, L. E. Bermeo. Diagnosability of intermittent sensor faults in discrete event systems. Proceedings of the 2013 american control conference,  931-936. Washington, DC. 2013.
  19. N. S. F.  Doria, E. O. Freire,  J. C. Basilio. An algorithm inspired by the deterministic annealing approach to avoid local minima in artificial potential fields.  Proceedings of the 16th International Conference on Advanced Robotics. Montevideo, Uruguai. 2013.
  20.  L. E. Bermeo,  J. C. Basilio, L. K. Carvalho. DESLAB: a scientific computing program for analysis and synthesis of discrete-event systems. Preprints of the 11th international workshop on discrete event systems, 349-355. Guadalajara, Mexico. 2012.
  21. L. K. Carvalho,  M. V. Moreira and J. C.Basilio.  Generalized robust diagnosability of discrete event systems. Preprints of the 18th IFAC World Congress, 8737-8742. Milan, Itália. 2011.
  22. L. K. Carvalho, J. C. Basilio and M. V. Moreira. Robust diagnosability of discrete event systems subject to intermittent sensor failures. Preprints of the 10th Workshop on Discrete Event Systems, 94-99. Berlin, Alemanha. 2010. 
  23. S. T. S. Lima,  J. C. Basilio,  S. Lafortune and M. V. Moreira. Robust diagnosability of discrete event systems subject to permanent sensor failures. Preprints of the 10th Workshop on Discrete Event Systems, 100-107. Berlin, Alemanha. 2010.
  24. M. V. Moreira, T. C. Jesus and J. C. Basilio.   Polynomial time verification of decentralized diagnosability of discrete event systems. Proceedings of 2010 American Control Conference, 3353-3358. Baltimore, MD, USA. 2010.
  25. J. C. Basilio and S. Lafortune. Robust codiagnosability of discrete event systems. Proceedings of 2009 American Control Conference, 2202-2209. St. Louis, MO, USA. 2009.
  26.  M. V. Moreira, D. S. Botelho and J. C. Basilio.  Ladder diagram implementation of control interpreted Petri net: a state equation approach. Preprints of the IFAC Workshop on Discrete Event System Design, 85-90. Gandia Beach, Spain. 2009.
  27. M. V. Moreira and J. C. Basilio.  Static normalizing pre-compensator: the first step for addressing robustness in the design of multivariable controllers using the Characteristic Locus Method. Proceedings of the European Control Conference ECC’07, 1142-1148. Kos, Grécia. 2007.
  28.  M. Manyari-Rivera, J. C. Basilio and A. Bhaya.  Integrated fault diagnosis based on Petri net models. 16th IEEE International Conference on Control Applications, 958-963. Singapore. 2007.
  29. M. V.  Moreira and J. C. Basilio.  Design of normalizing precompensators via alignment of output-input principal directions. Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference ECC’05, 2170-2175. Sevilha, Espanha. 2005.
  30. M. V. Moreira and J. C. Basilio. Rational stabilizing commutative controllers for unstable plant. Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference ECC’05, 7864-7869. Sevilha, Espanha. 2005. 
  31. J. C. Basilio,  Jr. Silva, J. A. e L. G. B.  Rolim. H-infinity optimal design of rotor flux oriented controlled induction motor drives. Proceedings of the IEEE International Symposium on Industrial Electronics, 556-561. Rio de Janeiro, Brasil.  2003. 
  32. G. O. Corrêa, M. A. Silveira and J. C. Basilio.  On the design of servomechanisms via H-2 optimization. Proceedings of the IFAC – Symposium on Design Methods of Control Systems, 33–38, Zürich, Switzerland. 1991.