Ultrades-a library for modeling, analysis and control of discrete event systems LVR Alves, LRR Martins, PN Pena IFAC-PapersOnLine 50 (1), 5831-5836, 2017 | 30 | 2017 |
Secure recovery procedure for manufacturing systems using synchronizing automata and supervisory control theory LVR Alves, PN Pena IEEE Transactions on Automation Science and Engineering 19 (1), 486-496, 2020 | 16 | 2020 |
Planning on discrete events systems: A logical approach LVR Alves, HJ Bravo, PN Pena, RHC Takahashi 2016 IEEE International Conference on Automation Science and Engineering …, 2016 | 13 | 2016 |
Planning on discrete event systems using parallelism maximization LVR Alves, PN Pena, RHC Takahashi Control Engineering Practice 112, 104813, 2021 | 9 | 2021 |
BIM as a structural safety study tool in case of fire-BIMSCIP M Porto, J Franco, L Correa, L Alves, R Baracho J Syst Cybern Inform 16 (1), 81-86, 2018 | 5 | 2018 |
Factorization-based approach for computing a minimum makespan controllable sublanguage HJ Bravo, PN Pena, LVR Alves, RHC Takahashi IFAC-PapersOnLine 51 (7), 19-24, 2018 | 5 | 2018 |
SINCRONIZACAO EM SISTEMAS A EVENTOS DISCRETOS LVR Alves, PN Pena Congresso Brasileiro de Automática, 2018 | 4* | 2018 |
Planejamento da produção em Sistemas a Eventos Discretos: análise lógica e temporal LVR Alves Universidade Federal de Minas Gerais, 2016 | 4 | 2016 |
Planejamento da producao baseado no criterio do maximo paralelismo com restricoes temporais LVR Alves, PN Pena, RHC Takahashi, CTS de Instrumentaçao Anais do Congresso Brasileiro de Automdtica, 2016 | 4 | 2016 |
Synchronism Recovery of Discrete Event Systems LVR Alves, PN Pena IFAC World Congress - 2020, 2020 | 3 | 2020 |
Escalonamento da produçao baseado no critério de máximo paralelismo em sistemas a eventos discretos L Alves, H Bravo, P Pena, R Takahashi XII Simpósio Brasileiro de Automaçao Inteligente (SBAI), 594-599, 2015 | 3 | 2015 |
On the reduction and localization of synchronizing supervisors LVR Alves, PN Pena 2021 American Control Conference (ACC), 4491-4496, 2021 | 2 | 2021 |
Reconfiguration of Discrete Event Systems using Synchronizing Words LVR Alves, PN Pena Workshop on Discrete Event Systems, 2020, 2020 | 2 | 2020 |
Ultrades 2.1-uma biblioteca para modelagem, analise e controle de sistemas a eventos discretos LRR Martins, NFA Dias, LVR Alves, PN Penaz XIII Simpósio Brasileiro de Automação Inteligente, 2017 | 2 | 2017 |
Enforcing State-Based Opacity using Synchronizing Automata JA Dulce-Galindo, LVR Alves, GV Raffo, PN Pena 2021 60th IEEE Conference on Decision and Control (CDC), 7009-7014, 2021 | 1 | 2021 |
Planejamento da Produçao em Sistemas a Eventos Discretos usando Heurıstica LVR Alves, PN Pena, RHC Takahashi Simpósio Brasileiro de Automação Inteligente, 2019 | 1 | 2019 |
Developing an Environment for Cost Calculation of Rural School Transportation MF PORTO, AA MACHADO, NTR NUNES, LVR ALVES, RHC TAVARES, ... | 1 | 2018 |
ULTRADES-UMA BIBLIOTECA PARA MODELAGEM, ANALISE E CONTROLE DE SISTEMAS A EVENTOS DISCRETOS LVR Alves, HJ Bravo, PN Pena Anais do XII Simpósio Brasileiro de Automação Inteligente, SBAI’15, 34, 2015 | 1* | 2015 |
A multi-objective approach for manufacturing systems with multiple production routes based on supervisory control theory and heuristic algorithms LVR Alves, GC Rafael, LS Batista, PN Pena Discrete Event Dynamic Systems 33 (4), 373-394, 2023 | | 2023 |
BIM-IoT-FM integration: strategy for implementation of sustainable water management in buildings LT Batista, JRQ Franco, RH Fakury, MF Porto, LVR Alves, GS Kohlmann Smart and Sustainable Built Environment, 2023 | | 2023 |