Urmăriți
Antonio Eduardo Carrilho da Cunha
Antonio Eduardo Carrilho da Cunha
Instituto Militar de Engenharia
Adresă de e-mail confirmată pe ime.eb.br - Pagina de pornire
Titlu
Citat de
Citat de
Anul
Hierarchical supervisory control based on discrete event systems with flexible marking
AEC da Cunha, JÉER Cury
IEEE Transactions on Automatic Control 52 (12), 2242-2253, 2007
462007
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
432006
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
422014
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
292002
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
242021
Benchmark: Quadrotor Attitude Control.
AEC da Cunha
ARCH@ CPSWeek, 57-72, 2015
212015
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
202001
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
182014
Hierarchically consistent controlled discrete event systems
AEC da Cunha, JER Cury
IFAC Proceedings Volumes 35 (1), 253-258, 2002
162002
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
162001
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
132008
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
132004
Heuristic search of supervisors by approximated distinguishers
RSS Aguiar, AEC Cunha, JER Cury, MH Queiroz
IFAC Proceedings Volumes 46 (22), 121-126, 2013
122013
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
122012
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
62010
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
62006
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
62006
Diagnosability verification using LTL model checking
TM Tuxi, LK Carvalho, EVL Nunes, AEC Cunha
Discrete Event Dynamic Systems 32 (3), 399-433, 2022
52022
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
52008
Contribuições ao controle hierárquico de sistemas a eventos discretos
AEC Cunha
Florianópolis, SC, 2003
52003
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20