Follow
Hugo J. Bravo
Hugo J. Bravo
Graduate Program in Electrical Engineering - Federal University of Minas Gerais
Verified email at ufmg.br - Homepage
Title
Cited by
Cited by
Year
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
182014
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
142016
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
122012
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
81996
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
52018
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
32015
Caracterización dinámica de sistemas de producción campesinos de la península de Lacuy, comuna de Ancud. Estudio de casos
H Bravo
21996
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
12014
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
The system can't perform the operation now. Try again later.
Articles 1–17