Publications

Journal Papers

• SARSUR C., D. ; PENA, P.N. ; ALVES, L. V. R. . Automatic Translation of Blocking Flexible Job Shop Scheduling Problems to Automata Using the Supervisory Control Theory. Journal of Control Automation and Electrical Systems, v. 35, p. 12-23, 2024.

• PENA, P.N.; VILELA, J. N. ; ALVES, M. R. C. ; RAFAEL,G.C. . Abstraction of the Supervisory Control Solution to Deal with Planning Problems in Manufacturing Systems. IEEE TRANSACTIONS ON AUTOMATIC CONTROL (Print), v. 67, p. 344-350, 2022.

• DULCE-GALINDO, J. A. ; SANTOS, M. A. ; RAFFO, G. V. ; PENA, P.N.. Distributed supervisory control for multiple robot autonomous navigation performing single-robot tasks. MECHATRONICS, v. 86 p. 102848, 2022

• ALVES, L. V. R.; Pena, Patrícia N.; Secure Recovery Procedure for Manufacturing Systems Using Synchronizing Automata and Supervisory Control Theory. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (Print), v. 19, p. 486-496, 2022.

• ALVES, M.R.C.; PENA, P.N.; RUDIE, K. . Discrete-Event Systems Subject to Unknown Sensor Attacks. DISCRETE EVENT DYNAMIC SYSTEMS, v. 32, p. 143-158, 2022.

• ALVES, L. V. R.; PENA, P.N.; TAKAHASHI, RICARDO H. C.. Planning on Discrete Event Systems using parallelism maximization. CONTROL ENGINEERING PRACTICE (Print), v. 112, p. 104813, 2021.

• PENA, P. N.; COSTA, T.A. ; SILVA, R. S. ; TAKAHASHI, R. H. C. . Control of Flexible Manufacturing Systems under model uncertainty using Supervisory Control Theory and evoluationary computation schedule synthesis. INFORMATION SCIENCES, v. 429, p. 491-502, 2016.

• PENA, P. N.; BRAVO, H. J. ; DA CUNHA, A. E. C. ; MALIK, R. ; LAFORTUNE, S. ; CURY, J. E. R. . Verification of the Observer Property in Discrete Event Systems. IEEE TRANSACTIONS ON AUTOMATIC CONTROL (Print), v. 59, p. 1-1, 2014.

• PENA, P. N.; CUNHA, A.E.C da ; CURY, J. E. R. ; LAFORTUNE, S. . Metodologia e Ferramenta de apoio ao Teste de Não-Conflito no Controle Modular de Sistemas a Eventos Discretos. CONTROLE & AUTOMAÇÃO (IMPRESSO), v. 21, p. 58-68, 2010.

• PENA, P.N.; CURY, J. ; LAFORTUNE, S. . Verification of Nonconflict of Supervisors Using Abstractions. IEEE TRANSACTIONS ON AUTOMATIC CONTROL (Print), v. 54, p. 2803-2815, 2009.

International Conference Papers

• ALVES, M.R.C.; RUDIE, K; PENA, P.N. A Security Testbed for Networked DES Control Systems. In Proceedings of the 16th IFAC Workshop on Discrete Event Systems, 2022. p. 128-134.

• DULCE-GALINDO, J. A. ; ALVES, L. V. R. ; RAFFO, G. V. ; PENA, P.N. . Enforcing State-Based Opacity using Synchronizing Automata. In: 60th Conference on Decision and Control, 2021, Austin. p. 7002-7007.

• ALVES, L. V. R.; PENA, P.N. . On the Reduction and Localization of Synchronizing Supervisors. In: American Control Conference, 2021, New Orleans. p. 4491-4496

• SARSUR C., D. ; PENA, P.N. ; TAKAHASHI, R. H. C. . Automatic Translation of Blocking Flexible Job Shop Scheduling Problems to Automata Using the Supervisory Control Theory. In: 15th IFAC Workshop on Discrete Event Systems, 2020, Rio de Janeiro. Proceedings of the 15th IFAC Workshop on Discrete Event Systems, 2020. p. 89-94.

• ALVES, L. V. R.; PENA, P.N.  . Reconfiguration of Discrete Event Systems using Synchronizing Words. In: 15th IFAC Workshop on Discrete Event Systems, 2020, Rio de Janeiro. Proceedings of the 15th IFAC Workshop on Discrete Event Systems, 2020. p. 453-458.

• ALVES, L. V. R.; PENA, P.N. ;. Synchronism Recovery of Discrete Event Systems. In: 21st IFAC World Congress, 2020, Berlim. Proceedings of the 21st IFAC World Congress, 2020. p. 10609-10614

• DULCE-GALINDO, J. A. ; SANTOS, MARCELO A. ; RAFFO, GUILHERME V. ; PENA, PATRICIA N. . Autonomous Navigation of Multiple Robots using Supervisory Control Theory. In: 2019 18th European Control Conference (ECC), 2019, Naples. 2019 18th European Control Conference (ECC), 2019. p. 3198-3203.

• BRAVO, H. J.; PENA, P. N.; ALVES, L. V. R. ; TAKAHASHI, R. H. C. . Factorization-Based Approach for Computing a Minimum Makespan Controllable Sublanguage. In: 14th International Workshop on Discrete Event Systems, 2018, Sorrento Coast, Itália. Preprints of the 14th Workshop on Discrete Event Systems, 2018. v. x. p. 30-35.

• MALIK, R. ; PENA, P.N. . Optimal Task Scheduling in a Flexible Manufacturing System using Model Checking. In: 14th International Workshop on Discrete Event Systems, 2018, Sorrento Coast, Itália. Preprints of the 14th International Workshop on Discrete Event Systems, 2018. v. x. p. 241-246.

• ALVES, L. V. R. ; MARTINS, L. R. R. ; PENA, P. N. . UltraDES – A Library for Modeling, Analysis and Control of Discrete Event Systems. In: The 20th World Congress of the International Federation of Automatic Control, 2017, Toulouse. Proceedings of the 20th World Congress of the International Federation of Automatic Control, 2017. v. x. p. 5996-2001.

• VILELA, J. N. ; PENA, P.N. . Supervisor Abstraction to Deal With Planning Problems in Manufacturing Systems. In: 13th International Workshop on Discrete Event Systems, 2016, Xi’an, China. Proceedings of the 13th International Workshop on Discrete Event Systems, 2016. v. x. p. 117-122.

• ALVES, L. V. R. ; BRAVO, H.J. ; PENA, P.N. ; TAKAHASHI, RICARDO H. C. . Planning on Discrete Events Systems: A Logical Approach. In: Proceedings of the 12th IEEE Conference on Automation Science and Engineering, 2016, Fort Worth. Proceedings of the 12th IEEE Conference on Automation Science and Engineering, 2016. v. x. p. 1055-1060.

• BRAVO, H.J. ; PENA, P. N. ; CUNHA, A.E.C da ; MALIK, R. ; CURY, J. E. R. . Generalised Search for the Observer Property in Discrete Event Systems. In: 12th International Workshop on Discrete Event Systems (WODES’14), 2014, Cachan. Proocedings of the 12th International Workshop on Discrete Event Systems, 2014. p. 350-355.

• OLIVEIRA, ANA C. ; COSTA, TATIANA A. ; PENA, PATRICIA N. ; TAKAHASHI, RICARDO H. C. . Clonal selection algorithms for task scheduling in a flexible manufacturing cell with supervisory control. In: 2013 IEEE Congress on Evolutionary Computation (CEC), 2013, Cancun. 2013 IEEE Congress on Evolutionary Computation. p. 982-988.

• BRAVO, H.J. ; CUNHA, A.E.C da ; PENA, P. N. ; CURY, J. E. R. . Generalized Verification of the Observer Property in Discrete Event Systems. In: 11th International Workshop on Discrete Event Systems, WODES’12, 2012, Guadalajara. Proceedings of the 11th International Workshop on Discrete Event Systems, WODES’12, 2012. p. 337-342.

• HILL, R. ; PENA, P. N. . International Collaboration in an Undergraduate Control Systems Course. In: 2010 American Society for Engineering Education Annual Conference, 2010, Louisville, Kentucky, USA. Proceedings of the 2010 ASEE Annual Conference, 2010.

• PENA, P. N.; CURY, J. E. R. ; MALIK, R. ; Lafortune, Stéphane . Efficient Computation of Observer Projections using OP-Verifiers. In: 10th International Workshop on Discrete Event Systems, 2010, Berlim. Proceedings of the 10th International Workshop on Discrete Event Systems, 2010. p. 416-421.

• PENA, P. N.; LAFORTUNE, S. ; CURY, J. E. R. . Polynomial-Time Verification of the Observer Property in Abstractions. In: 2008 American Control Conference, 2008, Seattle. Proceedings of the 2008 American Control Conference, 2008. p. 465-470.

• PENA, P. N.; CUNHA, A.E.C da ; LAFORTUNE, S. ; CURY, J. E. R. . New Results on the Nonconflict Test of Modular Supervisors. In: 9th International Workshop on Discrete Event Systems, 2008, Gothenburg. Proceedings of the 9th International Workshop on Discrete Event Systems, 2008. p. 468-473.

• MALIK, R. ; FLORDAL, H. ; PENA, P. N. . Conflicts and Observers. In: 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS’07), 2007, Cachan-Paris, França. Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems, 2007. p. 63-68.

• PENA, P. N.; CURY, J. E. R. ; LAFORTUNE, S. . Testing Modularity of Local Supervisors: An Approach Based on Abstractions. In: 8th Workshop on Discrete Event Systems, 2006, Ann Arbor. Proceeding of the 8th Workshop on Discrete Event Systems, 2006. v. 1. p. 107-112.

• PENA, P. N.; CURY, J. E. R. ; LAFORTUNE, S. . New Results on Testing Modularity of Local Supervisors using Abstractions. In: 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006, Praga. Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006. p. 950-956.

Brazilian Conference Papers

• ALVES, M. R. C. ; PENA, P. N. ; Rudie, K..Unknown Sensor Attacks in Supervisory Control of DES. In: Simpósio Brasileiro de Automação Inteligente, 2021, Rio Grande, RS. Anais do 15º Simpósio Brasileiro de Automação Inteligente, 2021

• SANTOS, M. C. ; ALVES, L. V. R. ; PENA, P. N. . Planejamento da produção em sistemas de manufatura modelados como Processo de Decisão Markoviano. In: Congresso Brasileiro de Automática, 2020, Porto Alegre. Anais do XXIII Congresso Brasileiro de Automática, 2020.

• SARSUR, DANIEL ; PENA, P.N. ; TAKAHASHI, R.H.C. . Planejamento da Produção em um Sistema Flexível de Manufatura com Demandas Estocásticas. In: ANAIS DO 14º SIMPÓSIO BRASILEIRO DE AUTOMAÇÃO INTELIGENTE, 2019. Anais do 14º Simpósio Brasileiro de Automação Inteligente, 2019.

• ALVES, LUCAS ; PENA, PATRÍCIA ; TAKAHASHI, RICARDO H C . Planejamento da Produção em Sistemas a Eventos Discretos usando Heurística. In: ANAIS DO 14º SIMPÓSIO BRASILEIRO DE AUTOMAÇÃO INTELIGENTE, 2019. Anais do 14º Simpósio Brasileiro de Automação Inteligente, 2019.

• GARCIA, FRANKLIN ; PENA, P. N. . Abstração do Supervisor para Sistemas com Retrabalho visando a Solução de um Problema de Planejamento. In: Simpósio Brasileiro de Automação Inteligente, SBAI’2019, 2019, Ouro Preto. Anais do Simpósio Brasileiro de Automação Inteligente, 2019. v. x. p. 1071-1076.

• MÁRCIO J. NUNES; PATRÍCIA N. PENA . A Teoria de Controle Supervisório Aplicada na Seleção do Layout de um Cluster Tool. In: XXII Congresso Brasileiro de Automática, 2018, João Pessoa, 2018. v. x.

• LUCAS VINÍCIUS RIBEIRO ALVES ; PATRÍCIA NASCIMENTO PENA . Sincronização em Sistemas a Eventos Discretos. In: XXII Congresso Brasileiro de Automática, 2018, João Pessoa, 2018. v. x

• GUSTAVO CAETANO RAFAEL ; LUCAS VINÍCIUS RIBEIRO ALVES ; LUCAS DE SOUZA BATISTA; PATRICIA NASCIMENTO PENA . MINIMIZAÇÃO DE MAKESPAN E CONSUMO ENERGÉTICO EM SISTEMAS A EVENTOS DISCRETOS. In: XXII Congresso Brasileiro de Automática, 2018, João Pessoa, 2018. v. x.

• GUSTAVO CAETANO RAFAEL ; PATRÍCIA NASCIMENTO PENA . Using an Abstraction of the Supervisor to Solve a Planning Problem in Manufacturing Systems. In: XXII Congresso Brasileiro de Automática, 2018, João Pessoa, 2018. v. x.

• NUNES, M. J. ; GONCALVES, V. M. ; PENA, P. N. ; MAIA, C. A. . Modelagem, Análise Temporal e Controle de Sistema Dinâmico Max-Plus Linear: Aplicação em Sistema Flexível de Manufatura Didático. In: Simpósio Brasileiro de Automação Inteligente, SBAI’2017, 2017, Porto Alegre. Anais do Simpósio Brasileiro de Automação Inteligente, SBAI’2017, 2017. v. x. p. 1654-1659.

• ALVES, M. R. C. ; PENA, P. N. . Abstrações de Supervisores Localmente Modulares para Aplicação na Solução de Problemas de Planejamento. In: Simpósio Brasileiro de Automação Inteligente, SBAI’2017, 2017, Porto Alegre. Anais do Simpósio Brasileiro de Automação Inteligente, 2017. v. x. p. 699-704.

• MARTINS, L. R. R. ; DIAS, N. F. A. ; ALVES, L. V. R. ; PENA, P. N. . UltraDES 2.1 – Uma Biblioteca para Modelagem, Análise e Controle de Sistemas a Eventos Discretos. In: Simpósio Brasileiro de Automação Inteligente, SBAI’2017, 2017, Porto Alegre. Anais do Simpósio Brasileiro de Automação Inteligente, 2017. v. x. p. 1690-1695.

• VILELA, J. N. ; PENA, P. N. . Abstração do Supervisor para Aplicação na Solução de Problemas de Planejamento em Sistemas de Manufatura. In: XXI Congresso Brasileiro de Automática, 2016, Vitória. Anais do XXI Congresso Brasileiro de Automática, 2016. v. x. p. 1046-1051.

• ALVES, L. V. R. ; PENA, P. N. ; TAKAHASHI, R. H. C. . Planejamento da Produção Baseado no Critério do Máximo Paralelismo com Restrições Temporais. In: XXI Congresso Brasileiro de Automática, 2016, Vitória. Anais do XXI Congresso Brasileiro de Automática, 2016. v. x. p. 1518-1523.

• ALVES, L. V. R. ; BRAVO, H.J. ; PENA, P.N. ; TAKAHASHI, R. H. C. . Escalonamento da produção baseado no critério de máximo paralelismo em sistemas a eventos discretos. In: XII Simpósio Brasileiro de Automação Inteligente, 2015, Natal. Anais do XII Simpósio Brasileiro de Automação Inteligente, 2015. p. 594-599.

• ALVES, L. V. R. ; BRAVO, H.J. ; PENA, P.N. . Ultrades – uma biblioteca para modelagem, análise e controle de sistemas a eventos discretos. In: XII Simpósio Brasileiro de Automação Inteligente, 2015, Natal. Anais do XII Simpósio Brasileiro de Automação Inteligente, 2015. p. 600-605.

• COSTA, T.A. ; VIEIRA, L. S. D. P. ; PENA, P.N. ; TAKAHASHI, R. H. C. . Abordagem CSO: Extensão para Tratar Lotes Maiores de Produção. In: XX Congresso Brasileiro de Automática, 2014, Belo Horizonte. Anais do XX Congresso Brasileiro de Automática, 2014. p. 3505-3510.

• DURAES, R. G. ; VIEIRA, G.L. ; PENA, P.N. ; ADORNO, B.V. . Teoria de Controle Supervisório e Controle Dirigido Ótimo: Solução de um Problema de Sequenciamento. In: XX Congresso Brasileiro de Automática, 2014, Belo Horizonte. Anais do XX Congresso Brasileiro de Automática, 2014. p. 1608-1615.

• VIEIRA, G.L. ; PENA, P. N. . Aplicações e Limitações do Controle Dirigido Ótimo Não-Bloqueante de Sistemas a Eventos Discretos. In: XI Simpósio Brasileiro de Automação Inteligente, 2013, Fortaleza. Anais do XI Simpósio Brasileiro de Automação Inteligente, 2013.

• SANTOS, J.K.S. ; BRAGA, P. P. B. ; VIEIRA, L. S. D. P. ; PENA, P. N. . Simulação de Sistemas a Eventos Discretos sob o Controle Supervisório Modular Local. In: XI Simpósio Brasileiro de Automação Inteligente, 2013, Fortaleza. Anais do XI Simpósio Brasileiro de Automação Inteligente, 2013.

• BRAVO, H.J. ; CUNHA, A.E.C da ; PENA, P. N. ; CURY, J. E. R. . Busca Generalizada da Propriedade de Observador em Sistemas a Eventos Discretos. In: XI Simpósio Brasileiro de Automação Inteligente, 2013, Fortaleza. Anais do XI Simpósio Brasileiro de Automação Inteligente, 2013.

• COSTA, T.A. ; PENA, P. N. ; TAKAHASHI, R. H. C. . Controle Supervisório e Otimização: Abordagem VNS-2OPT e Robustez a Pertubações. In: XI Simpósio Brasileiro de Automação Inteligente, 2013, Fortaleza. Anais do XI Simpósio Brasileiro de Automação Inteligente, 2013.

• REZENDE, J.S. ; ALMEIDA NETO, M.M. ; MAIA, C. A. ; PENA, P. N. . Estudo Comparativo de Quatro Técnicas de Implementação em CLP de Sistemas a Eventos Discretos. In: XIX Congresso Brasileiro de Automática, 2012, Campina Grande. Anais do XIX Congresso Brasileiro de Automática, 2012. p. 2523-2530.

• BRAVO, H.J. ; CUNHA, A.E.C da ; PENA, P. N. ; CURY, J. E. R. . Verificação Generalizada da Propriedade de Observador em Sistemas a Eventos Discretos. In: XIX Congresso Brasileiro de Automática, 2012, Campina Grande. Anais do XIX Congresso Brasileiro de Automática, 2012. p. 2509-2514.

• COSTA, T.A. ; OLIVEIRA, A. C. ; PENA, P. N. ; TAKAHASHI, R. H. C. . An Ant System Algorithm for Task Scheduling in a Flexible Manufacturing Cell with Supervisory Control. In: XIX Congresso Brasileiro de Automática, CBA’12, 2012, Campina Grande. Anais do XIX Congresso Brasileiro de Automática, 2012. p. 2515-2522.

• SILVA, R. S. ; OLIVEIRA, A. C. ; PENA, P. N. ; TAKAHASHI, R. H. C. . Algoritmo Clonal para Job Shop Scheduling com Controle Supervisório. In: X Simpósio Brasileiro de Automação Inteligente, 2011, São João del Rei. Anais do X Simpõsio Brasileiro de Automação Inteligente, 2011. p. 1376-1381.

• PENA, P. N.; CUNHA, A.E.C da ; CURY, J. E. R. ; LAFORTUNE, S. . Teste de Não-Conflito de Supervisores Modulares Usando o OP-Verificador. In: XVII Congresso Brasileiro de Automática, 2008, Juiz de Fora. Anais do XVII Congresso Brasileiro de Automática, 2008.

• PENA, P. N.; CURY, J. E. R. ; LAFORTUNE, S. . Detecção de Conflito na Síntese Modular de Supervisores: uma Abordagem Baseada em Abstrações. In: XVI Congresso Brasileiro de Automática, 2006, Salvador. Anais do XVI Congresso Brasileiro de Automática, 2006.

• PENA, P. N.; JOTA, F. G. ; PENA, R. T. . Projeto de um Sistema de Controle Híbrido: Simulação e Aplicação a um Sistema. In: Anais do XIV Congresso Brasileiro de Automática, 2002, Natal, Rio Grande do Norte. XIV Congresso Brasileiro de Automática, 2002.

• PENA, P. N.; JOTA, F. G. ; PENA, R. T. ; ROCHA, F. F. . Chaveamento de Controladores PI em um Sistema de Controle de Temperatura e Vazão de Ar. In: XIII Congresso Brasileiro de Automática, 2000, Florianópolis, Santa Catarina. Anais do XIII Congresso Brasileiro de Automática, 2000.