Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis. - José M. E. González; Antonio Eduardo Carrilho da Cunha; José E. R. Cury; Bruce H. Krogh (HSCC, 2001)

Supervisory Control of Discrete Event Systems with Flexible Marking. - José E. R. Cury; César R. C. Torrico; Antonio Eduardo Carrilho da Cunha (Eur. J. Control, 2004)

Hierarchical Supervisory Control Based on Discrete Event Systems With Flexible Marking. - Antonio Eduardo Carrilho da Cunha; José Eduardo Ribeiro Cury (IEEE Trans. Autom. Control., 2007)

Rotary-wing UAV mission planning aided by supervisory control. - Jose Cerdeira Gonzalez; Roberto Ortiz Garrido; Antonio Eduardo Carrilho da Cunha (WODES, 2010)

Generalised verification of the observer property in discrete event systems. - Hugo J. Bravo; Antonio Eduardo Carrilho da Cunha; Patrícia Nascimento Pena; Robi Malik; José E. R. Cury (WODES, 2012)

Comparative of heuristics on search of supervisors by approximated distinguishers. - Raquel S. S. Aguiar; Antonio Eduardo Carrilho da Cunha; José Eduardo Ribeiro Cury; Max Hering de Queiroz (ETFA, 2014)

Robust Supervisory Control against Intermittent Loss of Observations. - Marcos Vinícius Silva Alves; João Carlos Basilio; Antonio Eduardo Carrilho da Cunha; Lilian Kawakami Carvalho; Marcos Vicente Moreira (WODES, 2014)

Generalised Search for the Observer Property in Discrete Event Systems. - Hugo J. Bravo; Patrícia Nascimento Pena; Antonio Eduardo Carrilho da Cunha; Robi Malik; José E. R. Cury (WODES, 2014)

Verification of the Observer Property in Discrete Event Systems. - Patrícia N. Pena; Hugo J. Bravo; Antonio Eduardo Carrilho da Cunha; Robi Malik; Stéphane Lafortune; José E. R. Cury (IEEE Trans. Autom. Control., 2014)

Benchmark: Quadrotor Attitude Control. - Antonio Eduardo Carrilho da Cunha (ARCH@CPSWeek, 2015)

Contributions to the control of Time-Weighted Systems. - Thiago Monteiro Tuxi; Antonio Eduardo Carrilho da Cunha (ETFA, 2018)

Robust supervisory control of discrete event systems against intermittent loss of observations. - Marcos Vinícius Silva Alves; Antonio Eduardo Carrilho da Cunha; Lilian Kawakami Carvalho; Marcos Vicente Moreira; João Carlos Basilio (Int. J. Control, 2021)

Makespan reduction for Time-Weighted Systems using a Clonal Selection algorithm. - Gabriel Laport Vargas; Antonio Eduardo Carrilho da Cunha (ETFA, 2022)

Diagnosability verification using LTL model checking. - Thiago Monteiro Tuxi; Lilian K. Carvalho; Eduardo V. L. Nunes; Antonio Eduardo Carrilho da Cunha (Discret. Event Dyn. Syst., 2022)