Seguir
Hugo J. Bravo
Hugo J. Bravo
Graduate Program in Electrical Engineering - Federal University of Minas Gerais
E-mail confirmado em ufmg.br - Página inicial
Título
Citado por
Citado por
Ano
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
132016
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
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
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
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–9