Verification of the Observer Property in Discrete Event Systems PN Pena, HJ Bravo, AEC da Cunha, R Malik, S Lafortune, JER Cury IEEE Trans. Autom. Control 59 (8), 2176-2181, 2014 | 18 | 2014 |
Planning on Discrete Events Systems: A logical approach LVR Alves, HJ Bravo, PN Pena, RHC Takahashi Proc. 12th IEEE Int. Conf. Auto. Sci. Eng. ( IEEE CASE'16), 1055-1060, 2016 | 14 | 2016 |
Generalised Verification of the Observer Property in Discrete Event Systems HJ Bravo, AEC da Cunha, PN Pena, R Malik, JER Cury Proc. 11th Int. Workshop on Discrete Event Syst. (WODES'12), 337-342, 2012 | 12 | 2012 |
Factorization-Based Approach for Computing a Minimum Makespan Controllable Sublanguage HJ Bravo, PN Pena, LVR Alves, RHC Takahashi Proc. 14th Int. Workshop on Discrete Event Syst. (WODES'18), 30-35, 2018 | 5 | 2018 |
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 Anais do XII Simpósio Brasileiro de Automaçao Inteligente (SBAI'15), 594-599, 2015 | 3 | 2015 |
Generalised Search for the Observer Property in Discrete Event Systems HJ Bravo, PN Pena, AEC da Cunha, R Malik, JER Cury Proc. 12th Int. Workshop on Discrete Event Syst. (WODES'14), 350-355, 2014 | 1 | 2014 |
ULTRADES-UMA BIBLIOTECA PARA MODELAGEM, ANALISE E CONTROLE DE SISTEMAS A EVENTOS DISCRETOS L ALVES, H CIPRIANO, P PENA Anais do XII Simpósio Brasileiro de Automação Inteligente, SBAI’15, 34, 0 | 1 | |
Busca Generalizada da Propriedade de Observador em Sistemas a Eventos Discretos HJ Bravo, AEC Cunha, PN Pena, JER Cury Anais do XI Simpósio Brasileiro de Automação Inteligente, (SBAI'13), 2013 | | 2013 |
Verificação Generalizada da Propriedade de Observador em Sistemas a Eventos Discretos HJ Bravo, AEC Cunha, PN Pena, R Malik, JER Cury Anais do XIX Congresso Brasileiro de Automática, (CBA'12), 2509 - 2514, 2012 | | 2012 |