Artigos em periódicos

CALIXTO, IGOR C. ; da Cunha, Antonio E. C. ; DE AGUIAR, RAQUEL S. DA S. . Hierarchical Interface-Based Supervisory Control for Verification and Validation of a Cyber-Physical System. Journal Of Control Automation And Electrical Systems, v. 34, p. 1123-1135, 2023.

TUXI, THIAGO M. ; CARVALHO, LILIAN K. ; NUNES, EDUARDO V. L. ; CUNHA, ANTONIO E. C. DA . Diagnosability verification using LTL model checking. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, v. 32, p. 399-433, 2022. Citações:3

HILÁRIO, RÁRISSON QUEIROZ ; CUNHA, ANTONIO EDUARDO CARRILHO DA . Estudo de caso de controle supervisório tolerante a perdas intermitentes de observação: Planta MECATRIME. RESEARCH, SOCIETY AND DEVELOPMENT, v. 11, p. e29511326615, 2022.

GONÇALVES, MARCOS VINÍCIOS ; DA CUNHA, ANTONIO EDUARDO CARRILHO . Scheduling tank trucks at a fuel distribution terminal using max-plus model-based predictive control. JOURNAL OF PROCESS CONTROL, v. 103, p. 8-18, 2021.

ALVES, MARCOS V. S. ; da Cunha, Antonio E. C. ; CARVALHO, LILIAN KAWAKAMI ; MOREIRA, MARCOS VICENTE ; BASILIO, JOÃO CARLOS . Robust supervisory control of discrete event systems against intermittent loss of observations. International Journal of Control, v. 1, p. 1-13, 2019.