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 |
Comportamiento, diferenciación y estrategia productiva en sistemas campesinos de la Décima Región de Chile. Evidencia de casos A De la Barra, F Holmberg, H Bravo | 8 | 1996 |
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 |
Caracterización dinámica de sistemas de producción campesinos de la península de Lacuy, comuna de Ancud. Estudio de casos H Bravo | 2 | 1996 |
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 |
¿ Cómo utilizar el sistema de alerta de tizón tardío? H Bravo, B Acuña | | 2012 |
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 |
Potencial de producción de carne ovina en la Región de Los Lagos A De la Barra, H Bravo | | 2007 |
Potencial de producción de carne ovina en la región de Los Lagos A Barra, H Bravo | | |
Uso del sistema de alerta de tizón tardío en el sur de Chile H Bravo | | |
Expansión de la masa ganadera ovina en la zona A Barra, H Bravo, P Peña | | |
Plan ganadero para la agricultura familiar campesina de la X Región de Los Lagos. H Bravo, K Teuber | | |