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 | 29 | 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 | 19 | 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 | 14 | 2016 |
Planning on discrete event systems using parallelism maximization LVR Alves, PN Pena, RHC Takahashi Control Engineering Practice 112, 104813, 2021 | 11 | 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 |
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 | 2 | 2023 |
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 |
Transcolar Rural New Route Cost Calculation Software and Cost Analysis Tool MF Porto, MA Silveira, LVR Alves, RMA Baracho, NTR Nunes World Conference on Information Systems and Technologies, 50-59, 2023 | 1 | 2023 |
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 de manufatura modelados como Processo de Decisao Markoviano MC dos Santos, LVR Alves, PN Pena Congresso Brasileiro de Automática-CBA 2 (1), 2020 | 1 | 2020 |
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 |