Antonio Eduardo Carrilho da Cunha

14 papers C 3Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2022 J jnl
Diagnosability verification using LTL model checking.
Discret. Event Dyn. Syst.
Thiago Monteiro Tuxi, Lilian K. Carvalho, Eduardo V. L. Nunes, Antonio Eduardo Carrilho da Cunha
2022 C conf
Makespan reduction for Time-Weighted Systems using a Clonal Selection algorithm.
ETFA
Gabriel Laport Vargas, Antonio Eduardo Carrilho da Cunha
2021 J jnl
Robust supervisory control of discrete event systems against intermittent loss of observations.
Int. J. Control
Marcos Vinícius Silva Alves, Antonio Eduardo Carrilho da Cunha, Lilian Kawakami Carvalho, Marcos Vicente Moreira, João Carlos Basilio
2018 C conf
Contributions to the control of Time-Weighted Systems.
ETFA
Thiago Monteiro Tuxi, Antonio Eduardo Carrilho da Cunha
2015 — conf
Benchmark: Quadrotor Attitude Control.
ARCH@CPSWeek
Antonio Eduardo Carrilho da Cunha
2014 C conf
Comparative of heuristics on search of supervisors by approximated distinguishers.
ETFA
Raquel S. S. Aguiar, Antonio Eduardo Carrilho da Cunha, José Eduardo Ribeiro Cury, Max Hering de Queiroz
2014 — conf
Generalised Search for the Observer Property in Discrete Event Systems.
WODES
Hugo J. Bravo, Patrícia Nascimento Pena, Antonio Eduardo Carrilho da Cunha, Robi Malik, José E. R. Cury
2014 — conf
Robust Supervisory Control against Intermittent Loss of Observations.
WODES
Marcos Vinícius Silva Alves, João Carlos Basilio, Antonio Eduardo Carrilho da Cunha, Lilian Kawakami Carvalho, Marcos Vicente Moreira
2014 J jnl
Verification of the Observer Property in Discrete Event Systems.
IEEE Trans. Autom. Control.
Patrícia N. Pena, Hugo J. Bravo, Antonio Eduardo Carrilho da Cunha, Robi Malik, Stéphane Lafortune, José E. R. Cury
2012 — conf
Generalised verification of the observer property in discrete event systems.
WODES
Hugo J. Bravo, Antonio Eduardo Carrilho da Cunha, Patrícia Nascimento Pena, Robi Malik, José E. R. Cury
2010 — conf
Rotary-wing UAV mission planning aided by supervisory control.
WODES
Jose Cerdeira Gonzalez, Roberto Ortiz Garrido, Antonio Eduardo Carrilho da Cunha
2007 J jnl
Hierarchical Supervisory Control Based on Discrete Event Systems With Flexible Marking.
IEEE Trans. Autom. Control.
Antonio Eduardo Carrilho da Cunha, José Eduardo Ribeiro Cury
2004 J jnl
Supervisory Control of Discrete Event Systems with Flexible Marking.
Eur. J. Control
José E. R. Cury, César R. C. Torrico, Antonio Eduardo Carrilho da Cunha
2001 — conf
Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis.
HSCC
José M. E. González, Antonio Eduardo Carrilho da Cunha, José E. R. Cury, Bruce H. Krogh