Antonio Eduardo Carrilho da Cunha

According to our database, Antonio Eduardo Carrilho da Cunha authored at least 14 papers between 2001 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Makespan reduction for Time-Weighted Systems using a Clonal Selection algorithm.

Gabriel Laport Vargas, Antonio Eduardo Carrilho da Cunha

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2021

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

2018

Contributions to the control of Time-Weighted Systems.

Thiago Monteiro Tuxi, Antonio Eduardo Carrilho da Cunha

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2015

Benchmark: Quadrotor Attitude Control.

Antonio Eduardo Carrilho da Cunha

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

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

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

Proceedings of the 12th International Workshop on Discrete Event Systems, 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

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

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

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2012

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

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

2010

Rotary-wing UAV mission planning aided by supervisory control.

Jose Cerdeira Gonzalez, Roberto Ortiz Garrido, Antonio Eduardo Carrilho da Cunha

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

2007

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

2004

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

2001

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

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001