| Hierarchical supervisory control based on discrete event systems with flexible marking AEC da Cunha, JER Cury IEEE Transactions on Automatic Control 52 (12), 2242-2253, 2007 | 46 | 2007 |
| Robust supervisory control against intermittent loss of observations MVS Alves, JC Basilio, AEC da Cunha, LK Carvalho, MV Moreira IFAC Proceedings Volumes 47 (2), 294-299, 2014 | 44 | 2014 |
| The environment grail for supervisory control of discrete event systems C Reiser, AEC Da Cunha, JER Cury 2006 8th International Workshop on Discrete Event Systems, 390-391, 2006 | 43 | 2006 |
| An assume-guarantee reasoning for hierarchical coordination of discrete event systems AEC da Cunha, JER Cury, BH Krogh Sixth International Workshop on Discrete Event Systems, 2002. Proceedings …, 2002 | 29 | 2002 |
| Robust supervisory control of discrete event systems against intermittent loss of observations MVS Alves, AEC da Cunha, LK Carvalho, MV Moreira, JC Basilio International Journal of Control 94 (7), 2008-2020, 2021 | 25 | 2021 |
| Benchmark: Quadrotor Attitude Control. AEC da Cunha ARCH@ CPSWeek, 57-72, 2015 | 20 | 2015 |
| Supervision of event-driven hybrid systems: Modeling and synthesis JME González, AEC da Cunha, JER Cury, BH Krogh Hybrid Systems: Computation and Control: 4th International Workshop, HSCC …, 2001 | 20 | 2001 |
| Verification of the observer property in discrete event systems PN Pena, HJ Bravo, AEC da Cunha, R Malik, S Lafortune, JER Cury IEEE Transactions on Automatic Control 59 (8), 2176-2181, 2014 | 18 | 2014 |
| Hierarchically consistent controlled discrete event systems AEC da Cunha, JER Cury IFAC Proceedings Volumes 35 (1), 253-258, 2002 | 16 | 2002 |
| A new approach for supervisory control of discrete event systems JER Cury, CRC Torrico, AEC da Cunha 2001 European Control Conference (ECC), 1595-1599, 2001 | 16 | 2001 |
| Supervisory control of discrete event systems with flexible marking JER Cury, CRC Torrico, AEC da Cunha European journal of control 10 (1), 47-60, 2004 | 14 | 2004 |
| New results on the nonconflict test of modular supervisors PN Pena, AEC da Cunha, JER Cury, S Lafortune 2008 9th International Workshop on Discrete Event Systems, 468-473, 2008 | 13 | 2008 |
| Heuristic search of supervisors by approximated distinguishers RSS Aguiar, AEC Cunha, JER Cury, MH Queiroz IFAC Proceedings Volumes 46 (22), 121-126, 2013 | 12 | 2013 |
| Generalised verification of the observer property in discrete event systems HJ Bravo, AEC da Cunha, PN Pena, R Malik, JER Cury IFAC Proceedings Volumes 45 (29), 337-342, 2012 | 12 | 2012 |
| Diagnosability verification using LTL model checking TM Tuxi, LK Carvalho, EVL Nunes, AEC Cunha Discrete Event Dynamic Systems 32 (3), 399-433, 2022 | 6 | 2022 |
| Metodologia e ferramenta de apoio ao teste de não-conflito no controle modular de sistemas a eventos discretos PN Pena, AEC Cunha, JER Cury, S Lafortune Sba: Controle & Automação Sociedade Brasileira de Automatica 21, 58-68, 2010 | 6 | 2010 |
| Reduçao de supervisores como ferramenta para a implementaçao de supervisores em controladores discretos LF Sivollela, AEC da Cunha, R Ades XVI Congresso Brasileiro de Automática, 2006 | 6 | 2006 |
| Reduçao de Supervisores como ferramenta para Implementaçao de Controladores Discretos LF Sivolella, AEC da Cunha, R Ades Anais do XVI Congresso Brasileiro de Automática, CBA 6, 2778-2783, 2006 | 6 | 2006 |
| Contribuições ao controle hierárquico de sistemas a eventos discretos AEC Cunha Florianópolis, SC, 2003 | 5 | 2003 |
| Utilização da Verificação de Modelos para o Planejamento de Missões de Veículos Aéreos não-Tripulados GS COSTA, AE CARRILHO DA CUNHA In: XVII Congresso Brasileiro de Automática CBA, 2008 | 4 | 2008 |
