Modular supervisory control of large scale discrete event systems MH De Queiroz, JER Cury Discrete Event Systems: Analysis and Control, 103-110, 2000 | 278 | 2000 |
Synthesis and implementation of local modular supervisory control for a manufacturing cell MH De Queiroz, JER Cury Sixth International Workshop on Discrete Event Systems, 2002. Proceedings …, 2002 | 197 | 2002 |
Modular control of composed systems MH De Queiroz, JER Cury Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No …, 2000 | 149 | 2000 |
Multitasking supervisory control of discrete-event systems MH de Queiroz, JER Cury, WM Wonham Discrete Event Dynamic Systems 15, 375-395, 2005 | 105 | 2005 |
A method for plc implementation of supervisory control of discrete event systems AD Vieira, EAP Santos, MH de Queiroz, AB Leal, AD de Paula Neto, ... IEEE Transactions on Control Systems Technology 25 (1), 175-191, 2017 | 65 | 2017 |
Controle supervisório modular de sistemas de manufatura MH Queiroz, JER Cury Sba: Controle & Automação Sociedade Brasileira de Automatica 13, 123-133, 2002 | 42 | 2002 |
Multi-level hierarchical interface-based supervisory control RC Hill, JER Cury, MH de Queiroz, DM Tilbury, S Lafortune Automatica 46 (7), 1152-1164, 2010 | 40 | 2010 |
A model for PLC implementation of supervisory control of discrete event systems AD Vieira, JER Cury, MH de Queiroz 2006 IEEE Conference on Emerging Technologies and Factory Automation, 225-232, 2006 | 40 | 2006 |
Supervisory control of discrete event systems with distinguishers JER Cury, MH de Queiroz, G Bouzon, M Teixeira Automatica 56, 93-104, 2015 | 36 | 2015 |
Supervisory Control of DES with Extended Finite-State Machines and Variable Abstraction M Teixeira, R Malik, JER Cury, MH de Queiroz Automatic Control, IEEE Transactions on 60 (1), 118 - 129, 2015 | 32 | 2015 |
Controle supervisório modular e multitarefa de sistemas compostos MH Queiroz Universidade Federal de Santa Catarina, 2004 | 31 | 2004 |
Controle supervisório modular de sistemas de grande porte MH Queiroz Dissertação de Mestrado, 2000 | 31* | 2000 |
A model-driven engineering approach to formal verification of PLC programs JM Farines, MH de Queiroz, VG da Rocha, AMM Carpes, F Vernadat, ... ETFA2011, 1-8, 2011 | 23 | 2011 |
Optimal scheduling of a repair shipyard based on supervisory control theory DC Pinha, MH de Queiroz, JER Cury 2011 IEEE International Conference on Automation Science and Engineering, 39-44, 2011 | 22 | 2011 |
Hierarchical and decentralized multitasking control of discrete event systems K Schmidt, MH de Queiroz, JER Cury 2007 46th IEEE conference on decision and control, 5936-5941, 2007 | 21 | 2007 |
Modular multitasking supervisory control of composite discrete-event systems MH de Queiroz, JER Cury IFAC World Congress 21, 8, 2005 | 19 | 2005 |
Integration of supervisory control with SCADA system for a flexible manufacturing cell NB Portilla, MH de Queiroz, JE Cury 2014 12th IEEE International Conference on Industrial Informatics (INDIN …, 2014 | 17 | 2014 |
Local modular supervisory control of DES with distinguishers M Teixeira, JER Cury, MH de Queiroz ETFA2011, 1-8, 2011 | 15 | 2011 |
Exploiting distinguishing sensors in supervisory control of DES G Bouzon, MH de Queiroz, JER Cury 2009 IEEE International Conference on Control and Automation, 442-447, 2009 | 15 | 2009 |
Multi-tasking supervisory control of discrete-event systems MH de Queiroz, JER Cury, WM Wonham IFAC Proceedings Volumes 37 (18), 171-176, 2004 | 15 | 2004 |