Antonio Eduardo Carrilho da Cunha

Publication Activity (10 Years)

Years Active: 2001-2022
Publications (10 Years): 3

Top Topics

Timed Petri Nets

Admissible Heuristics

Supervisory Control

Top Venues

Discret. Event Dyn. Syst.

Publications

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