Artigos publicados em congressos nacionais:
W. R. Silveira, P. M. Lima, M. V. Moreira. A Comparison among different notions of robust diagnosability against sensor failures. Anais do XXII Congresso Brasileiro de Automática, João Pessoa, 2018. P. M. Lima, L. K. Carvalho, M. V. Moreira. Implementation of a security module for cyber-physical systems. Anais do XXII Congresso Brasileiro de Automática, João Pessoa, 2018.- G. S. Viana, M. V. S. Alves, J. C. Basilio. Codiagnosticabilidade de sistemas a eventos discretos em rede com informações de temporização entre ocorrência de eventos e atrasos nos canais de comunicação. Anais do XIII Simpósio Brasileiro de Automação Inteligente, p. 1247-1254, Porto Alegre. 2017.
- M. V. S. Alves, L. K. Carvalho, J.C.Basilio. Controle supervisório de sistemas a eventos discretos em rede temporizados. In: XIII Simpósio Brasileiro de Automação Inteligente, 2017, Porto Alegre. Anais do XIII Simpósio Brasileiro de Automação Inteligente, p. 1382-1389. 2017.
- P. R. R. Paiva, L. K. Carvalho, J.C. Basilio. Diagnose online de sistemas a evento discretos modelados por redes de Petri acíclicas. In: XIII Simpósio Brasileiro de Automação Inteligente, 2017, Porto Alegre. Anais do XIII Simpósio Brasileiro de Automação Inteligente, p. 1597-1603. 2017.
- C. E. V. Nunes, M. V. Moreira, M. V. S. Alves, L. K. Carvalho, J. C.Basilio. Codiagnosticabilidade em redes de sistemas a eventos discretos sujeitas a atrasos e perdas de observação de eventos. In: XXI Congresso Brasileiro de Automática, 2016, Vitória. Anais do XXI Congresso Brasileiro de Automática, p. 3115-3120. 2016.
- I. Antunes, L. K. Carvalho, J. C. Basilio. Um modelo em redes de Petri estocásticas para a simulação e análise de desempenho de sistemas públicos de compartilhamento de bicicletas. In: XXI Congresso Brasileiro de Automática, 2016, Vitória. Anais do XXI Congresso Brasileiro de Automática, p. 1026-1033. 2016.
- J. R. Freire, M. V. Moreira, T. M. L. Assis, F. F. G. Estrella. Diagnóstico de falhas em sistemas de distribuição de energia elétrica. In: XXI Congresso Brasileiro de Automática, 2016, Vitória. Anais do XXI Congresso Brasileiro de Automática. 2016.
- F. G. O. Cabral, J. H. A. Tomola, M. V. Moreira. 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. Anais do XXI Congresso Brasileiro de Automática. 2016.
- C. E. V. Nunes, Marcos V. Moreira, J.C. Basilio. Codiagnosticabilidade robusta a atrasos na ocorrência de eventos discretos. In: XII Simpósio Brasileiro de Automação Inteligente, 2015, Natal. Anais do XII Simpósio Brasileiro de Automação Inteligente, p. 1466-1471. 2015.
- M. V. S. Alves, J.C.Basilio, L. K. Carvalho, M. V. Moreira. Algoritmos para verificação da observabilidade relativa e cálculo da sublinguagem observável relativa suprema. In: XII Simpósio Brasileiro de Automação Inteligente, 2015, Natal. Anais do XII Simpósio Brasileiro de Automação Inteligente, p. 1724-1729. 2015.
- M. V. S. Alves, J.C. Basilio, A. E. C. da Cunha, L. K. Carvalho, M.V. Moreira. Controle supervisório robusto de SED sujeitos a perdas intermitentes de observação. In: XX Congresso Brasileiro de Automática, 2014, Belo Horizonte. Anais do XX Congresso Brasileiro de Automática, p. 1688-1695. 2014.
- O. Diene, E. A. R. Silva, M. V. Moreira. Diagnosability of Hybrid Systems: Analysis and Verification cast in DES framework. In: XX Congresso Brasileiro de Automática, 2014, Belo Horizonte. Anais do XX Congresso Brasileiro de Automática. 2014.
- G. S. Viana, M. V. Moreira, , J.C. Basilio. Implementação de controladores a eventos discretos usando diagrama ladder com módulo sincronizante. In: XI Simpósio Brasileiro de Automação Inteligente, 2013, Fortaleza. Anais do XI Simpósio Brasileiro de Automação Inteligente. 2014.
- N. S. F. Doria, E. O. Freire, J. C. Basilio. Uma abordagem inspirada no recozimento determinístico para escapar de mínimos locais em navegação por campos potenciais artificiais. In: XI Simpósio Brasileiro de Automação Inteligente, 2013, Fortaleza. Anais do XI Simpósio Brasileiro de Automação Inteligente. 2013.
- M. V. Moreira, F. G. Cabral, O. Diene, J. C. Basilio. 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.
- L. E. Bermeo, J. C. Basilio, L. K. Carvalho. DESLAB: uma ferramenta para o desenvolvimento de algoritmos para análise e projeto de sistemas a eventos discretos. In: Congresso Brasileiro de Automática, 2012, Campina Grande. Anais do XIX Congresso Brasileiro de Automática. p. 2531-2538. 2012.
- L. K. Carvalho, J. C. Basilio, M. V. Moreira. Falhas intermitentes na operação de sensores em sistemas a eventos discretos: modelagem e análise da diagnosticabilidade. In: Congresso Brasileiro de Automática, 2012, Campina Grande. Anais do XIX Congresso Brasileiro de Automática p. 1172-1179 2012.
- C. E. V. Nunes, J. C. Basilio, O. A. Z. Sotomayor. Diagnóstico de falhas em uma unidade de separação água-óleo-gás usando um modelo a evento discreto. In: Congresso Brasileiro de Automática, 2012, Campina Grande. Anais do XIX Congresso Brasileiro de Automática, p. 2547-2554. 2012.
- M. V. Moreira, F. G. Cabral, O. Diene. Diagnosticador rede de Petri para um SED modelado por um autômato finito. In: XIX Congresso Brasileiro de Automática, 2012, Campina Grande. Anais do XIX Congresso Brasileiro de Automática, p. 3723-3730, 2012.
- M. V. Moreira, T. C. Jesus, L. K. Carvalho, and J. C. Basilio. Um novo algoritmo para verificação da diagnosticabilidade descentralizada de sistemas a eventos discretos. Anais do 18º Congresso Brasileiro de Automática, 704-711, Bonito, Brasil. 2010.
- T. C. Jesus, M. V. Moreira and J. C. Basilio. Diagnóstico de falhas em tempo real de sistemas a eventos discretos descritos por autômatos finitos. Anais do 18º Congresso Brasileiro de Automática, 712-719, Bonito, Brasil. 2010.
- L. K. Carvalho, J. C. Basilio and M. V. Moreira. Diagnose de falhas de sistemas a eventos discretos sujeitos a perdas intermitentes de sensores. Anais do 18º Congresso Brasileiro de Automática, 720-727, Bonito, Brasil. 2010.
- L. Molina, J. C. Basilio and M. V. Moreira. Desenvolvimento de uma arquitetura de navegação deliberativa para robôs móveis utilizando a teoria de controle supervisório. Anais do 18º Congresso Brasileiro de Automática, 3231-3238, Bonito, Brasil. 2010.
- L. S. Caixeta, M. V. Moreira and J. C. Basilio. Implementação de um sistema de aquisição de dados e controle de uma célula a combustível de membrana polimérica. Anais do 18º Congresso Brasileiro de Automática, 4267-4274, Bonito, Brasil. 2010.
- S. T. S. Lima, J. C. Basilio, S. Lafortune and M. V. Moreira. Bases mínimas para a diagnose de falhas de sistemas a eventos discretos. Parte I: eventos essenciais para a diagnose e trajetórias primas. Anais do 18º Congresso Brasileiro de Automática. 4809-4816, Bonito, Brasil, 2010.
- S. T. S. Lima, J. C. Basilio, S. Lafortune and M. V. Moreira. Bases mínimas para a diagnose de falhas de sistemas a eventos discretos. Parte II: algoritmo de busca. Anais do 18º Congresso Brasileiro de Automática, 4817-4824, Bonito, Brasil. 2010.
- S. T. S. Lima, J. C. Basilio, S. Lafortune and M. V. Moreira. Diagnose centralizada de falhas de sistemas a eventos discretos robusta à perda permanente de sensores. Anais do 18º Congresso Brasileiro de Automática, 5313-5320, Bonito, Brasil. 2010.
- L. Molina, E. O. Freire, E. A. N. Carvalho and J. C. Basilio. Fault-tolerant weld line detection for automatic inspection of storage tanks based on visual information and alfa-beta filter. Anais do 9º Simpósio Brasileiro de Automação Inteligente. Brasília, Brasil. 2009.
- J. C. Basilio and V. N. Nogueira. Ajuste de controladores PI e PID para plantas estáveis e instáveis. Anais do 9º Simpósio Brasileiro de Automação Inteligente. Brasília, Brasil. 2009.
- C. V. Botinhão and J. C. Basilio. Controles Industriais Online: uma conexão entre universidade e indústria. Anais do 17º Congresso Brasileiro de Automática. Juiz de Fora, Brasil. 2008.
- M. V. Moreira and J. C. Basilio. Optimal design of static normalizing precompensators. Anais do 16º Congresso Brasileiro de Automática, 1739-1744. Salvador, Brasil. 2006.
- S. T. S. Lima, J. R. S. Dias and J. C. Basilio. Um laboratório para um curso de Automação Industrial utilizando redes de Petri. Anais do 16º Congresso Brasileiro de Automática, 3200-3205. Salvador, Brasil. 2006.
- M. V. Moreira and J. C. Basilio. Controladores comutativos estabilizantes para plantas instáveis. Anais do 15º Congresso Brasileiro de Automática. Gramado, Brasil. 2004.
- M. V. Moreira and J. C. Basilio. Projeto de pré-compensadores normalizantes via alinhamento das direções principais de entrada e de saída. Anais do 15º Congresso Brasileiro de Automática. Gramado, Brasil. 2004.
- M. V. Moreira and J. C. Basilio. “Robust, fragile or optimal?” revisitado: uma condiçâo necessária e suficiente para a fragilidade de controladores. Anais do 15º Congresso Brasileiro de Automática. Gramado, Brasil. 2004.
- M. V. Moreira and J. C. Basilio. Uso de algoritmos genéticos no projeto de controladores robustos H-infinito não-frágeis. Anais do 15º Congresso Brasileiro de Automática. Gramado, Brasil. 2004.
- J. C. Basilio and C. V. Botinhão. Uma biblioteca em MATLAB para o ensino de Controles Industriais. Anais do XXVI Congresso Brasileiro de Engenharia, Rio de Janeiro, Brasil. 2003.
- J. C. Basilio, Jr. Silva, J. A. and L. G. B. Rolim. H-infinity design of rotor flux oriented controlled induction motor drives: speed control, stability robustness and noise attenuation. Proceedings of the 7th Brazilian Power Electronics Conference, 325-330. Fortaleza, Brasil. 2003.
- M. V. Moreira and J. C. Basilio. Controladores robustos H-infinito não frágeis. Anais do 14º Congresso Brasileiro de Automática, 1100-1105. Natal, Brasil. 2002.
- M. V. Moreira and J. C. Basilio. Uma nova medida de fragilidade de controladores baseada no teorema de Kharitonov. Anais do 14º Congresso Brasileiro de Automática, 2444-2449. Natal, Brasil. 2002.
- J. C. Basilio, B. Kouvaritakis and P. T. Bandeira. Stabilizing commutative controllers: parametrization and characterization of degrees of freedom. Anais do 14º Congresso Brasileiro de Automática, 2859-2864. Natal, Brasil. 2002.
- J. C. Basilio, R. R. Manhães and L. G. B. Rolim. Controle de temperatura de um forno elétrico a resistência utilizando a função PID de um controlador lógico programável. Anais do 14º Congresso Brasileiro de Automática, 2184-2189. Natal, Brasil. 2002.
- J. C. Basilio and M. V. B. Moreira. Experimentos para estimação dos parâmetros de motores de corrente contínua. XXIX Congresso Brasileiro de Ensino de Engenharia, vol MTE, 298–307. Porto Alegre, Brasil. 2001.
- J. S. Garcia and J. C. Basilio. Redução direta de modelos por truncamento balanceado. Anais do 13º Congresso Brasileiro de Automática, 873-878. Florianópolis, Brasil. 2000.
- J. C. Basilio, S. S. Hazan and P. Bandeira. Inversão de matrizes polinomiais via espaço de estados. Anais do 13º Congresso Brasileiro de Automática, 867-872. Florianópolis, Brasil. 2000.
- J. C. Basilio and S. R. Matos. Uma nova técnica de ajuste de controladores PI e PID industriais. Anais do 13º Congresso Brasileiro de Automática, 689-691. Florianópolis, Brasil. 2000.
- J. S. Garcia and J. C. Basilio. Redução direta de modelos por truncamento balanceado. Anais do 13º Congresso Brasileiro de Automática, 873-878. Florianópolis, Brasil. 2000.
- J. C. Basilio. Um modelo de laboratório de Sistemas de Controle. Anais do XXVI Congresso Brasileiro de Ensino de Engenharia, vol. V, 2337-2355. São Paulo, Brasil. 1998.
- J. C. Basilio and J. A. Sahate. O método do lugar característico aplicado a plantas com autovetores quase paralelos. Anais do 12º Congresso Brasileiro de Automática, vol. V, 1761-1766. Uberlândia, Brasil. 1998.
- G. O. Corrêa and J. C. Basilio. Controle ótimo Wiener-Hopf com objetivos de rastreamento e rejeição de sinais de dinâmica conhecida. Anais do 8o. Congresso Brasileiro de Automática, vol. I, 244-251, Belém, Brasil. 1990.