Max Hering de Queiroz

Pós-doutorado

Formação complementar

Idiomas

Áreas de atuação

Organização de eventos

Participação em bancas

Orientou

Produções bibliográficas

• DE OLIVEIRA, RAFAEL GARLET ; DE QUEIROZ, MAX HERING ; RIBEIRO CURY, JOSÉ EDUARDO . Hierarchical supervisory control of discrete event systems based on reliable events. Discrete Event Dynamic Systems-Theory And Applications , v. 35, p. 1-17, 2025.

• SIMON, MARCELO ELIAS ; BALDISSERA, FABIO LUIZ ; DE QUEIROZ, MAX HERING ; CABRAL, FELIPE GOMES . Multi-robots Coordination System for Urban Search and Rescue Assistance Based on Supervisory Control Theory. JOURNAL OF CONTROL, AUTOMATION AND ELECTRICAL SYSTEMS , v. 35, p. 1-12, 2023.

• YOKOMIZOWATANABE, ANA TERUKO ; LEAL, A. B. ; CURY, JOSE E. R. ; QUEIROZ, M. H. DE . Combining Online Diagnosis and Prognosis for Safe Controllability. IEEE TRANSACTIONS ON AUTOMATIC CONTROL , v. 67, p. 5563-5569, 2022.

• DEL NERO GOMES, AFONSO CELSO ; MADANI, FERNANDO SILVEIRA ; MAIA, JOSE EVERARDO BESSA ; PEREIRA, MAURO CONTI ; DE QUEIROZ, MAX HERING . Contributions of ENADE to the Assessment of Control and Automation Engineering in Brazil. IEEE TRANSACTIONS ON EDUCATION , v. 64, p. 124-132, 2021.

• TEIXEIRA, MARCELO ; CURY, JOSE E. R. ; DE QUEIROZ, MAX H. . Exploiting Distinguishers in Local Modular Control of Discrete-Event Systems. IEEE Transactions on Automation Science and Engineering , v. 15, p. 1431-1437, 2018.

• VIEIRA, AGNELO DENIS ; SANTOS, EDUARDO ALVES PORTELA ; QUEIROZ, M. H. DE ; LEAL, A. B. ; DE PAULA NETO, AMARO DUARTE ; CURY, JOSE E. R. . A Method for PLC Implementation of Supervisory Control of Discrete Event Systems. IEEE Transactions on Control Systems Technology (Print) , v. 25, p. 175-191, 2017.

• SCHAFASCHEK, GERMANO ; DE QUEIROZ, MAX H. ; CURY, JOSE E. R. . Local Modular Supervisory Control of Timed Discrete-Event Systems. IEEE TRANSACTIONS ON AUTOMATIC CONTROL , v. 62, p. 934-940, 2017.

• CURY, J. E. R. ; QUEIROZ, M. H. ; BOUZON, G. ; TEIXEIRA, M. . Supervisory control of discrete event systems with distinguishers. Automatica (Oxford) , v. 56, p. 93-104, 2015.

• TEIXEIRA, MARCELO ; MALIK, ROBI ; CURY, JOSE E. R. ; DE QUEIROZ, MAX H. . Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction. IEEE TRANSACTIONS ON AUTOMATIC CONTROL , v. 60, p. 118-129, 2015.

• HILL, R. ; CURY, J. E. R. ; QUEIROZ, M. H. DE ; TILBURY, D. M. ; LAFORTUNE, S. . Multi-Level Hierarchical Interface-Based Supervisory Control. Automatica (Oxford) , v. 46, p. 1152-1164, 2010.

• QUEIROZ, M. H. DE ; CURY, J. E. R. ; WONHAM, W. M. . Multitasking supervisory control of discrete-event systems. Discrete Event Dynamic Systems , Holanda, v. 15, n.4, p. 375-395, 2005.

• CURY, J. E. R. ; QUEIROZ, M. H. DE . Discussion on: Supervisory Control of Product and Hierarchical Discrete Event Systems. European Journal of Control , v. 10, n.1, p. 146-147, 2004.

• QUEIROZ, MAX H. DE ; Cury, José E. R. . Controle supervisório modular de sistemas de manufatura. CONTROLE & AUTOMAÇÃO (IMPRESSO) , v. 13, p. 123-133, 2002.

• Veiga, Hallan William ; DE QUEIROZ, MAX HERING ; FARINES, JEAN-MARIE ; de Lima, Marcelo Lopes . Automatic Conformance Testing of Safety Instrumented Systems for Offshore Oil Platforms. In: Petrucci L.; Seceleanu C.; Cavalcanti A.. (Org.). Lecture Notes in Computer Science. 1ed.Cham: Springer International Publishing, 2017, v. 10471, p. 51-65.

• Queiroz, Max H. ; Cury, José E. R. . Modular Supervisory Control of Large Scale Discrete Event Systems. In: R. Boel; G. Stremersch. (Org.). Discrete Event Systems. 1ed.Massachusetts: Springer US, 2000, v. 1, p. 103-110.

• SANTOS, R. C. ; QUEIROZ, M. H. . Model checking de sistemas de segurança especificados por GRAFCET e Matriz de Causa e Efeito. In: Congresso Brasileiro de Automática - CBA, 2024, Rio de Janeiro. CBA 2024, 2024.

• OLIVEIRA, R. G. ; QUEIROZ, M. H. ; CURY, J. E. R. . Controle hierárquico de circuitos de componentes de processos industriais modelados por abstraçoes sucessivas de sistemas a eventos discretos. In: Congresso Brasileiro de Automática - CBA, 2024, Rio de Janeiro. CBA 2024, 2024.

• MOSER, E. ; CABRAL, FELIPE GOMES ; LIMA, P. M. M. ; QUEIROZ, M. H. . Modeling of a hierarchical supervisory controlled industrial process for fault diagnosis. In: 15th INDUSCON - International Conference on Industry Applications, 2023, São Bernardo do Campo - SP. International Conference on Industry Applications - INDUSCON, 2023.

• SANTOS, R. C. ; QUEIROZ, M. H. . Model checking aided design of alarm and seal logic for ship control and monitoring system. In: 27th ABCM International Congress of Mechanical Engineering (COBEM 2023), 2023, Florianópolis. Proceedings of COBEM 2023, 2023.

• OLIVEIRA, R. G. ; QUEIROZ, M. H. ; CURY, J. E. R. . Controle Supervisório Hierárquico de Processos Industriais Comandados por Circuito de Válvulas. In: XV Simpósio Brasileiro de Automação Inteligente - SBAI 2021, 2021, Rio Grande. Anais do SBAI 2021, 2021. p. 1280-1287.

• SZPAK, RODRIGO ; QUEIROZ, M. H. ; CURY, J.E. . Synthesis and implementation of supervisory control for manufacturing systems under processing uncertainties and time constraints. In: 15th IFAC Workshop on Discrete Event Systems, 2020, Rio de Janeiro. Proceedings of WODES 2020, 2020. p. 229-234.

• OLIVEIRA, R. G. ; QUEIROZ, M. H. ; CURY, J. E. R. . Synthesis of Supervisors for a PID-Controlled Industrial Process and Implementation on Foundation Fieldbus. In: 15th IFAC Workshop on Discrete Event Systems, 2020, Rio de Janeiro. Proceedings of WODES 2020, 2020. p. 83-88.

• FERNANDEZ, B. ; BLANCO, E. ; CHARRONDIERE, M. ; SPERONI, R. ; BONET, M. ; HAMISCH, H. D. ; DE QUEIROZ, M. H. . Cause-and-Effect Matrix Specifications for Safety Critical Systems at CERN. In: 17th International Conference on Accelerator and Large Experimental Physics Control Systems, 2019, New York. Proceedings of ICALEPCS2019, 2019.

• MULER, O. P. ; QUEIROZ, M. H. ; CURY, J. E. R. . Síntese e implementação de controle supervisório em rede Foundation Fieldbus. In: XXII Congresso Brasileiro de Automática, 2018, João Pessoa. CBA2018, 2018.

• FELIPE DA SILVA LÁZARO ; MAX HERING DE QUEIROZ ; JEAN-MARIE FARINES . METODOLOGIA PARA DESENVOLVIMENTO DE SISTEMAS DE CONTROLE E MONITORAÇÃO DE NAVIOS ASSISTIDO POR MODEL CHECKING. In: XXII Congresso Brasileiro de Automática, 2018, João Pessoa, 2018.

• LUIZ PAULO ENADIO DOS REIS ; MAX HERING DE QUEIROZ ; JEAN-MARIE FARINES ; MARCELO LOPES DE LIMA ; MARIO CESAR MELLO MASSA DE CAMPOS} . Verificação formal de Sistemas Instrumentados de Segurança na indústria de petróleo e gás natural. In: XXII Congresso Brasileiro de Automática, 2018, João Pessoa, 2018.

• VEIGA, H. W. ; SCARDUELLI, R. E. M. ; SAITO, G. K. ; QUEIROZ, M. H. ; FARINES, JEAN-MARIE ; LIMA, M. L. ; CAMPOS, M. C. M. M. . Teste Automático de Especificações de Segurança em Matriz de Causa e Efeito para Controladores Lógicos Programáveis de Plataformas Offshore. In: 5º Congresso de Instrumentação, Controle e Automação da Petrobras, 2017, Rio de Janeiro. 5º CICAP, 2017.

• WATANABE, A. T. Y. ; MOREIRA, B. G. ; LEAL, A. B. ; CURY, J. E. R. ; QUEIROZ, M. H. . Análise das Condições para Diagnosticabilidade e Prognosticabilidade de Falhas. In: XIII Simpósio Brasileiro de Automação Inteligente, 2017, Porto Alegre. SBAI 2017, 2017. p. 1968-1975.

• WATANABE, A. T. Y. ; LEAL, A. B. ; CURY, J. E. R. ; QUEIROZ, M. H. . Safe Controllability using Online Prognosis. In: 20th IFAC World Congress, 2017, Toulouse. IFAC-PapersOnLine, 2017. v. 50. p. 12359-1.

• MARQUES, LUIS GUSTAVO PERPETUO COSTA ; DE QUEIROZ, MAX HERING ; FARINES, JEAN-MARIE . Improving a design methodology of synthesizable VHDL with formal verification. In: 2016 IEEE 7th Latin American Symposium on Circuits & Systems (LASCAS), 2016, Florianopolis. 2016 IEEE 7th Latin American Symposium on Circuits & Systems (LASCAS), 2016. p. 51.

• GOMES, A. C. N. ; MADANI, F. S. ; MAIA, J. E. B. ; PEREIRA, M. C. ; QUEIROZ, M. H. . O ENADE como instrumento de avaliação e melhoria dos cursos de Engenharia de Controle e Automação. In: XLIV Congresso Brasileiro de Educação em Engenharia, 2016, Natal. Anais do COBENGE 2016, 2016.

• SZPAK, RODRIGO ; DE QUEIROZ, MAX HERING . Design and Implementation of Supervisory Control for an Electropneumatic Station Subject to Faults in Material Flow. In: 9th FPNI Ph.D. Symposium on Fluid Power, 2016, Florianópolis. 9th FPNI Ph.D. Symposium on Fluid Power. p. V001T01A028.

• POLONIA, PABLO VALERIO ; MELGAREJO, LUIZ FERNANDO BIER ; DE QUEIROZ, MAX HERING . A resource oriented architecture for Web-integrated SCADA applications. In: 2015 IEEE World Conference on Factory Communication Systems (WFCS), 2015, Palma de Mallorca. 2015 IEEE World Conference on Factory Communication Systems (WFCS), 2015. p. 1.

• SCOTTI, WILLIAM A. F. ; PORTILLA, NICOLE B. ; DE QUEIROZ, MAX H. ; CURY, JOSE E. R. . Modular and systematic design of supervisory control system integrating PLC, SCADA and task routing for a modular production system. In: 2015 IEEE International Conference on Automation Science and Engineering (CASE), 2015, Gothenburg. 2015 IEEE International Conference on Automation Science and Engineering (CASE), 2015. p. 807.

• SCHAFASCHEK, GERMANO ; DE QUEIROZ, MAX HERING ; CURY, JOSE EDUARDO RIBEIRO . Local modular supervisory control applied to the scheduling of cluster tools. In: 2015 IEEE International Conference on Automation Science and Engineering (CASE), 2015, Gothenburg. 2015 IEEE International Conference on Automation Science and Engineering (CASE), 2015. p. 1381.

• PRATI, T. J. ; FARINES, J.M. ; QUEIROZ, M. H. . Automatic test of safety specifications for PLC programs in the Oil and Gas Industry. In: 2nd IFAC Workshop on Automatic Control in Offshore Oil and Gas Production OOGP, 2015, Florianópolis. IFAC-PapersOnLine, 2015. v. 48. p. 27-32.

• BEATRIZ PORTILLA, NICOLE ; DE QUEIROZ, MAX H. ; CURY, JOSE E. . Integration of supervisory control with SCADA system for a flexible manufacturing cell. In: 2014 12th IEEE International Conference on Industrial Informatics (INDIN), 2014, Porto Alegre RS. 2014 12th IEEE International Conference on Industrial Informatics (INDIN), 2014. p. 261.

• BATTISTELLA, SANDRO ; DE QUEIROZ, MAX HERING . Simulation environment of an architecture for mission control system of AUVs operating in lakes of hydroelectric dams. In: 2014 3rd International Conference on Applied Robotics for the Power Industry (CARPI 2014), 2014, Foz do Iguassu. Proceedings of the 2014 3rd International Conference on Applied Robotics for the Power Industry. p. 1.

• BATTISTELLA, S. ; QUEIROZ, M. H. . Arquitetura e Ambiente de Simulação para Sistema de Missão de AUV baseado na Teoria de Controle Supervisório. In: XX Congresso Brasileiro de Automática (CBA), 2014, Belo Horizonte. Anais do XX Congresso Brasileiro de Automática, 2014. p. 4044-4051.

• MARTINS, H. ; CURY, JOSE E. R. ; QUEIROZ, M. H. . Exploração do uso de redes de Petri para estudo do desenvolvimento da vulva do verme C. elegans. In: XX Congresso Brasileiro de Automática (CBA), 2014, Belo Horizonte. Anais do XX Congresso Brasileiro de Automática, 2014. p. 1584-1591.

• AGUIAR, RAQUEL S. S. ; DA CUNHA, ANTONIO E. C. ; CURY, JOSE E. R. ; DE QUEIROZ, MAX H. . Comparative of heuristics on search of supervisors by approximated distinguishers. In: 2014 IEEE Emerging Technology and Factory Automation (ETFA), 2014, Barcelona. Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA), 2014. p. 1.

• Schafaschek, G ; QUEIROZ, M. H. ; CURY, J. E. R. . Local Modular Supervisory Control of Timed Discrete-Event Systems. In: 12th IFAC International Workshop on Discrete Event Systems, 2014, Cachan. IFAC Proceedings Volumes, 2014. v. 47. p. 271-277.

• TEIXEIRA, MARCELO ; MALIK, ROBI ; CURY, JOSE E. R. ; DE QUEIROZ, MAX H. . Variable abstraction and approximations in supervisory control synthesis. In: 2013 American Control Conference (ACC), 2013, Washington. 2013 American Control Conference. p. 132-137.

• AGUIAR, R. S. S. ; DA CUNHA, A. E. C. ; CURY, J. E. R. ; DE QUEIROZ, M. H. . Busca Heurística de Supervisores Aproximados por Distinguidores. In: XI Simpósio Brasileiro de Automação Inteligente (SBAI), 2013, Fortaleza. Anais do XI Simpósio Brasileiro de Automação Inteligente, 2013.

• CURY, J. E. R. ; MARTINEZ, C. ; QUEIROZ, M. H. . Scheduling Cluster Tools with Supervisory Control Theory. In: 11th IFAC Workshop on Intelligent Manufacturing Systems, 2013, São Paulo. IFAC Proceedings Volumes, 2013. v. 46. p. 312-317.

• TEIXEIRA, M. ; CURY, J. E. R. ; QUEIROZ, M. H. . Local Modular Control with Distinguishers applied to a Manufacturing System. In: 7th IFAC Conference on Manufacturing Modelling, Management, and Control, 2013, Saint Petersburg. IFAC Proceedings Volumes, 2013. v. 46. p. 263-268.

• AGUIAR, R. S. S. ; DA CUNHA, A. E. C. ; CURY, J. E. R. ; QUEIROZ, M. H. . Heuristic Search of Supervisors by Approximated Distinguishers. In: 4th IFAC Workshop on Dependable Control of Discrete Systems, 2013, York. IFAC Proceedings Volumes, 2013. v. 46. p. 121-126.

• BATTISTELLA, S. ; QUEIROZ, M. H. ; SANTOS, C. H. F. . Modelagem e síntese de supervisores para controle de missão de AUVs atuando em lagos de barragens de hidrelétricas baseado na Teoria de Controle Supervisório. In: XIX Congresso Brasileiro de Automática, 2012, Campina Grande. Anais do XIX Congresso Brasileiro de Automática, CBA 2012, 2012. p. 1870-1877.

• CURY, J. E. R. ; LOISEAU, J.J. ; MARTINEZ, C. ; QUEIROZ, M. H. . Using max-plus to solve the job shop problem with time lags. In: 11th IFAC Workshop on Discrete Event Systems, 2012, Guadalajara. IFAC Proceedings Volumes, 2012. v. 45. p. 67-72.

• TEIXEIRA, M. ; QUEIROZ, M. H. ; CURY, J. E. R. . Local modular Supervisory Control of DES with distinguishers. In: Emerging Technologies & Factory Automation (ETFA), 2011 IEEE 16th Conference on, 2011, Toulouse. Proceedings of the 2011 IEEE 16th Conference on Emerging Technologies & Factory Automation (ETFA), 2011. p. 1-8.

• FARINES, J. M. ; QUEIROZ, M. H. ; ROCHA, V.G. ; CARPES, A.M.M. ; VERNADAT, F. ; CREGUT, X. . A model-driven engineering approach to formal verification of PLC programs. In: Emerging Technologies & Factory Automation (ETFA), 2011 IEEE 16th Conference on, 2011, Toulouse. Emerging Technologies & Factory Automation (ETFA), 2011 IEEE 16th Conference on, 2011. p. 1-8.

• PINHA, D. C. ; QUEIROZ, M. H. ; CURY, J. E. R. . Optimal scheduling of a repair shipyard based on Supervisory Control Theory. In: Automation Science and Engineering (CASE), 2011 IEEE Conference on, 2011, Trieste. Proceedings of the 2011 IEEE Conference on Automation Science and Engineering (CASE), 2011. p. 39-44.

• SOUZA, M. F. ; FARINES, J. M. ; QUEIROZ, M. H. . Modelagem e verificação de programas em Diagrama Ladder para controladores lógicos programáveis. In: XVIII Congresso Brasileiro de Automática - CBA 2010, 2010, Bonito. Anais do XVIII Congresso Brasileiro de Automática, 2010. p. 4801-4808.

• SILVA, Y. G. ; QUEIROZ, M. H. ; CURY, J. E. R. . Síntese e implementação de controle supervisório modular local para um sistema de AGV. In: XVIII Congresso Brasileiro de Automática - CBA 2010, 2010, Bonito. Anais do XVIII Congresso Brasileiro de Automática, 2010. p. 2808-2815.

• PINHA, D. C. ; QUEIROZ, M. H. ; CURY, J. E. R. . Escalonamento da produção com uso da Teoria de Controle Supervisório. In: XVIII Congresso Brasileiro de Automática - CBA 2010, 2010, Bonito. Anais do XVIII Congresso Brasileiro de Automática, 2010. p. 4662-4668.

• SCHMIDT, K. ; QUEIROZ, M. H. ; CURY, J. E. R. . Hierarchical Multitasking Control of Discrete Event Systems: Computation of Projections and Maximal Permissiveness. In: 10th IFAC Workshop on Discrete Event Systems, 2010, Berlin. IFAC Proceedings Volumes, 2010. v. 43. p. 98-103.

• BOUZON, G. ; QUEIROZ, M. H. ; CURY, J. E. R. . Exploiting Distinguishing Sensors in Supervisory Control of DES. In: The Seventh IEEE International Conference on Control & Automation, 2009, Christchurch. Proceedings of ICCA2009, 2009.

• SILVA, Y. G. ; QUEIROZ, M. H. . Formal synthesis, simulation and automatic code generation of supervisory control for a manufacturing cell. In: 20th International Congress of Mechanical Engineering, 2009, Gramado. Proceedings of COBEM2009, 2009.

• BOUZON, G. ; QUEIROZ, M. H. ; CURY, J. E. R. . Supervisory Control of DES with Distinguishing Sensors. In: WODES'08, 2008, Göteborg. 9th International Workshop on Discrete Event Systems, 2008.

• HILL, R. ; CURY, J. E. R. ; QUEIROZ, M. H. ; TILBURY, D. M. . Modular Requirements for Hierarchical Interface-Based Supervisory Control with Multiple Levels. In: American Control Conference, 2008, Washington. Proceedings of 2008 American Control Conference, 2008.

• BOUZON, G. ; QUEIROZ, M. H. ; CURY, J. E. R. . Controle Supervisório de Sistemas a Eventos Discretos com Sensores Distinguidores. In: Congresso Brasileiro de Automática, 2008, Juiz de Fora. Anais do XVII Congresso Brasileiro de Automática, 2008.

• SILVA NETO, F.A.C. DA ; QUEIROZ, M. H. ; CAMPONOGARA, E. . Representação em Programação Linear Inteira Mista do Problema de Minimização de Supervisores. In: VIII Simpósio Brasileiro de Automação Inteligente, 2007, Florianópolis. Anais do VIII Simpósio Brasileiro de Automação Inteligente, 2007.

• SCHMIDT, K. ; QUEIROZ, M. H. ; CURY, J. E. R. . Hierarchical and Decentralized Multitasking Control of Discrete Event Systems. In: 46th IEEE Conference on Decision and Control, 2007, New Orleans. Proceedings of the 46th IEEE Conference on Decision and Control, 2007. p. 5936-5941.

• VIEIRA, A. D. ; CURY, J. E. R. ; QUEIROZ, M. H. DE . Um modelo para implementação de controle supervisório em controladores lógico programáveis.. In: XVI Congresso Brasileiro de Automática (CBA2006), 2006, Salvador. Anais do XVI Congresso Brasileiro de Automática, 2006.

• VIEIRA, A. D. ; CURY, J. E. R. ; QUEIROZ, M. H. DE . A model for PLC implementation of supervisory control of discrete event systems. In: 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), 2006, Prague. Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006. p. 225-232.

• QUEIROZ, M. H. ; CURY, J. E. R. . Modular Multitasking Supervisory Control of Composite Discrete-Event Systems. In: 16th IFAC World Congress, 2005, Praga. IFAC Proceedings Volumes, 2005. v. 38. p. 91-96.

• VIEIRA, A. D. ; CURY, J. E. R. ; QUEIROZ, M. H. DE . Distribuição de Estrutura de Contole Supervisório de Sistemas a Eventos Discretos.. In: Congresso Brasileiro de Automatica CBA2004, 2004, Gramado. Anais do CBA2004, 2004. v. 1. p. 704-709.

• VIEIRA, A. D. ; CURY, J. E. R. ; QUEIROZ, M. H. DE . Distributed Supervisory Control of Discrete Event Sysytems based on Local Modular Control. In: VI Induscon, 2004, Joinville. Anais do VI Induscon, 2004. v. 1. p. 1-6.

• QUEIROZ, M. H. ; CURY, J. E. R. ; WONHAM, W. M. . Multi-tasking supervisory control of discrete-event systems. In: 7th International Workshop on Discrete Event Systems (WODES'04), 2004, Reims. IFAC Proceedings Volumes, 2004. v. 37. p. 171-176.

• QUEIROZ, M. H. DE ; CURY, J. E. R. . Synthesis and implementation of local modular supervisory control for a manufacturing cell. In: Sixth International Workshop on Discrete Event Systems, 2002, Zaragoza. Proceedings of the WODES 2002, 2002.

• QUEIROZ, M. H. DE ; SANTOS, E. A. P. ; CURY, J. E. R. . Síntese Modular do Controle Supervisório em Diagrama Escada para uma Célula de Manufatura. In: V Simpósio Brasileiro de Automação Inteligente, 2001, Canela. Anais do V Simpósio Brasileiro de Automação Inteligente. Porto Alegre: CDcopy.

• QUEIROZ, M. H. DE ; CURY, J. E. R. . Controle Modular de Sistemas de Manufatura Discretos. In: Congresso Brasileiro de Automática, 2000, Florianópolis. Congresso Brasileiro de Automática. Florianópolis: UFSC, 2000.

• QUEIROZ, M. H. DE ; CURY, J. E. R. . Modular Control of Composed Systems. In: American Control Conference, 2000, Chicago. Proceedings of the American Control Conference, 2000. p. 4051-4055.

• FARINES, J. M. ; QUEIROZ, M. H. ; SOUZA, M. F. ; CARPES, A.M.M. ; VERNADAT, F. . Modeling and Verification of PLC Programs by using FIACRE Tool Chain. In: Topcased Days 2011, 2011, Toulouse. First Topcased Days, 2011. p. 1-2.

• QUEIROZ, M. H. DE ; ZAMBALDI, M. C. ; KOZAKEVICH, D. N. . Elaboração e desenvolvimento de rotinas numéricas computacionais para problemas com estruturas esparsas. In: VI Seminário Catarinense de Iniciação Científica, 1996, Florianópolis. VI Seminário Catarinense de Iniciação Científica. Florianópolis: UFSC, 1996. v. VI. p. 317-317.

• QUEIROZ, M. H. DE ; ZAMBALDI, M. C. . Desempenho do método de gradiente conjugado precondicionado. In: V Seminário Catarinense de Iniciação Científica, 1995. V Seminário Catarinense de Iniciação Científica. Florianópolis: UFSC, 1995.

• QUEIROZ, M. H. DE ; ZAMBALDI, M. C. . Resolução de problemas de valores de contorno. In: XI Congresso Regional de Iniciação Científica e Tecnológica em Engenharia, 1995, Santa Maria. XI CRICTE, 1995.

• QUEIROZ, M. H. DE ; ZAMBALDI, M. C. . Implementação computacional de rotinas numéricas para problemas com estruturas esparsas. In: IV Seminário Catarinense de Iniciação Científica, 1994, Florianópolis. IV Seminário Catarinense de Iniciação Científica. Florianópolis: UFSC, 1994. v. IV. p. 343-343.

• QUEIROZ, M. H. DE ; ZAMBALDI, M. C. . Comparando métodos iterativos para resolução de sistemas lineares. In: Congresso Regional de Iniciação Científica, 1994, Blumenau. X CRICTE. Blumenau: FURB, 1994.

Projetos de pesquisa

• 2021 - Atual

  VERTEbox: Software para Edição de Matrizes Causa e Efeito e Automação de Testes de CLP, Descrição: Este projeto busca consolidar a cooperação científica com a startup VERTESIS e a PETROBRAS e faz parte do programa da Petrobras Conexões para Inovação ? Módulo Startups que foi desenvolvido para intensificar a cooperação entre empresas e instituições de pesquisa científica para transformar artigos científicos em inovações implantadas. Este projeto foi selecionado entre as 18 propostas aceitas, dentre as 340 submetidas, para ser financiado na 2ª Edição deste programa de inovação da PETROBRAS com o objetivo de apoiar a implantação na PETROBRAS dos protótipos desenvolvidos num projeto de pesquisa científica realizado anteriormente na UFSC na área de automação de testes de lógica discreta para Sistemas de Segurança utilizados na Indústria de Óleo e Gás, com foco nos Sistemas de Intertravamento de Segurança (SIS) empregados na área de Produção Offshore. Os protótipos consistem em dois softwares --- um editor de Matriz causa e efeito e um executor automático de testes de lógica --- que estão sendo registrados pela Secretaria de Inovação da UFSC (SINOVA). Este projeto prevê atividades de desenvolvimento de software que serão executadas exclusivamente por parte da VERTESIS para aperfeiçoar os protótipos para atender as expectativas da PETROBRAS e atividades de pesquisa científica entre a VERTESIS e a UFSC para melhorar aspectos de performance da ferramenta. Neste contexto, o Plano de Trabalho das atividades de pesquisa consistem na orientação conjunta por parte da UFSC e da VERTESIS de um bolsista de graduação para pesquisar como melhorar a performance dos testes, mais especificamente, estudar e propor novos métodos para melhorar a performance dos testes devido a latência da comunicação entre o Controlador Lógico Programável do Sistema de Segurança e a ferramenta de teste. Para apoiar a aplicação dos estudos do bolsista, a startup VERTESIS testará os novos métodos propostos em sistemas reais e alinhados com as necessidades da PETROBRAS. O projeto tem previsão de duração de 12 meses com repasses de R$26,413.70 para a UFSC e R$462,957.00 para a VERTESIS. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Max Hering de Queiroz - Coordenador / Rodrigo Tacla Saad - Integrante / de Lima, Marcelo Lopes - Integrante., Financiador(es): Petróleo Brasileiro - Rio de Janeiro - Matriz - Cooperação., Número de produções C, T & A: 1

• 2016 - 2021

  Validação de sistemas de controle e automação na Indústria do Petróleo e Gás utilizando métodos de teste, verificação e síntese de programas, Projeto certificado pela empresa Petróleo Brasileiro - Rio de Janeiro - Matriz em 24/02/2016., Descrição: Este projeto de pesquisa foi realizado no Departamento de Automação e Sistemas da UFSC, no período de 1/2/2016 a 24/1/2021, com financiamento da Petrobras e em cooperação internacional com o grupo VERTICS do LAAS-CNRS, na França. O objetivo foi investigar a aplicabilidade de métodos que permitam validar sistemas de controle e automação em sistemas dinâmicos complexos, tipicamente encontrados na indústria de petróleo e gás, em especial os Sistemas Instrumentados de Segurança (SIS) de unidades de produção offshore, buscando a operação segura e em conformidade com as especificações de funcionamento desses sistemas. Foram desenvolvidos métodos avançados de teste, verificação formal e síntese de programas de CLPs de segurança que ajudam a evitar falhas em sistemas de controle e automação de processos produtivos do setor de petróleo e gás visando melhorar a segurança de processos, reduzindo as perdas econômicas, sociais e ambientais causadas por acidentes. Esses resultados atingiram diferentes graus de desenvolvimento tecnológico na medida que foram validados em modelos matemáticos, em simulações, em processos de laboratório ou mesmo em CLPs de plataformas offshore reais. Com as bolsas disponibilizadas pelo projeto, doze estudantes de Engenharia de Controle e Automação puderam complementar sua formação com atividades de iniciação científica e TCCs, e cinco mestrandos e um pós-doutorando do PGEAS desenvolveram suas dissertações em temas relacionados ao projeto. Destaca-se ainda a sua importância para a capacitação dos cinco professores do DAS-UFSC, seja pela oportunidade de conhecer as práticas e os desafios de engenharia na indústria de óleo e gás, seja pelo fortalecimento da cooperação científica com os pesquisadores do CENPES/PETROBRAS e do LAAS-CNRS, na França. A infraestrutura do programa também se beneficiou pela aquisição de material permanente, softwares de CLP, construção de bancadas de teste e pela implantação de um Sistema Instrumentado de Segurança na Unidade de Experimentação em Escoamento Multifásico da UFSC. Como spinoff desse projeto, a startup VERTESIS foi criada em 2019 pelo Pós-Doutorando do PPGEAS Rodrigo Saad. No final de 2020, a VERTESIS foi uma das 18 empresas vencedoras do edital Petrobras Conexões para Inovações ? Módulo Startups, com o objetivo de apoiar a implantação na PETROBRAS dos protótipos de software desenvolvidos no projeto. A Secretaria de Inovação da UFSC (SINOVA) está realizando o processo de registro de software desses protótipos junto ao INPI.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (12) / Mestrado acadêmico: (5) . , Integrantes: Max Hering de Queiroz - Coordenador / José Eduardo Ribeiro Cury - Integrante / Jean Marie AlexandreFarines - Integrante., Financiador(es): Petróleo Brasileiro - Rio de Janeiro - Matriz - Cooperação., Número de produções C, T & A: 27

• 2008 - 2009

  Paradigma de Redes Sensores sem Fio Aplicado à Automação Industrial, Descrição: Este projeto está sendo desenvolvido dentro Grupo de Sistemas Distribuídos Tempo Real (SDTR) em cooperação com Grupo de Controle de Sistemas Mecatrônicos (GSM), ambos do Departamento de Automação e Sistemas da UFSC. Seu Coordenador, Prof. Carlos Barros Montez, desenvolve pesquisas relacionadas a Redes de Sensores sem Fio e Escalonamento Tempo Real. Na equipe, além de alunos de doutorado, mestrado e IC, também participam os Prof. Ubiraraja Franco Moreno e Prof. Max Hering Queiroz, ambos do DAS. Todos os professores participantes do projeto possuem título de doutorado recentes e são membros da Pós-Graduação em Engenharia de Automação e Sistemas da UFSC.O objetivo do trabalho é desenvolver algoritmos e abordagens que empreguem redes de sensores sem fio em sistemas de controle (sistemas de controle industriais). De uma forma resumida, as pesquisas envolvem: desenvolvimento de algoritmos de escalonamento adaptativo (flexível) tempo real; técnicas de controle contínuo para abordagens de controle via rede (usando redes de sensores sem fio); e adoção de redes de sensores sem fio em sistemas de supervisão em plantas de automação industrial.Em comum a todas essas pesquisas há a necessidade de se desenvolver suporte algorítmico adequado para o funcionamento de redes de sensores sem fio. Esses suportes envolvem algoritmos de roteamento para essas redes, técnicas de fusão de dados considerando frescor dos dados e abordagens de escalonamento nos nodos base (nodos sorvedouro) dessas redes de sensores sem fio.Este projeto dará oportunidade ao Grupo para adquirir um kit de redes de sensores sem fio, necessário para contrução de protótipos para avaliação dos algoritmos desenvovidos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Max Hering de Queiroz - Integrante / Ubirajara Franco Moreno - Integrante / Carlos Barros Montez - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa e Inovação do Estado de Santa Catarina - Auxílio financeiro.

• 2007 - 2010

  CONTREAL - Central de Controle em Tempo Real, Descrição: Pesquisa tecnológica para instalação e operação de central de controle de tráfego em tempo real, consistindo de 40 interseções controladas e 12 interseções operadas em tempo fixo, bem como os demais periféricos necessários a sua implantação. Busca-se a instalação de projeto piloto de uma central de controle de tráfego em tempo real com tecnologia nacional. O sistema a ser implantado é parte de um esforço de pesquisa para prover soluções de alta densidade tecnológica adequadas às necessidades das cidades brasileiras de médio porte que não tem recursos para investir em um sistema importado. Propõe-se instalar um sistema que virá a melhorar substancialmente o fluxo veicular na cidade de Macaé, RJ, e que também sirva de plataforma para pesquisas na área de mobilidade urbana.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (2) . , Integrantes: Max Hering de Queiroz - Integrante / Eduardo Camponogara - Integrante / Rômulo Silva de Oliveira - Integrante / Werner Kraus Junior - Coordenador., Financiador(es): Fundação de Amparo a Pesquisa e Extensão Universitária - Bolsa.

• 2007 - 2008

  Síntese e Implementação de Controle Supervisório para Sistemas a Eventos Discretos, Descrição: A síntese de lógica de controle para sistemas a eventos discretos (SEDs) é um problema importante em diversas áreas de aplicação, como redes de computadores e de comunicação, sistemas de manufatura e sistemas de tráfego urbano. A aplicação de métodos formais para controle ótimo de SEDs compostos por muitos subsistemas esbarra no crescimento exponencial do número de estados do modelo pela composição de subsistemas. O presente trabalho de pesquisa tem como objetivo geral o desenvolvimento de contribuições teóricas e práticas que fundamentem uma abordagem eficiente para a aplicação da Teoria de Controle Supervisório em problemas reais envolvendo sistemas compostos com múltiplas especificações e múltiplas tarefas. Como objetivo específico pretende-se fazer uma nova aplicação dos resultados de controle supervisório modular local na síntese do controlador para um SED real que englobe os principais aspectos problemáticos de interesse da pesquisa. São eles: múltiplos subsistemas concorrentes, múltiplas tarefas e especificações modulares que possam levar a situações de bloqueio. Para o desenvolvimento da aplicação, inicialmente deverá ser desenvolvido um protótipo em escala reduzida de um SED. A síntese da lógica de controle para a bancada será realizada segundo as diversas arquiteturas de controle estudadas nessa pesquisa. Além da solução matemática do problema de controle, pretende-se implementar o sistema de controle ótimo segundo a estrutura proposta por QUEIROZ e CURY (2002) que deverá ser programada, simulada e implementada em controlador lógico programável microcontrolado e em CLP. A implementação dessa estrutura de controle em programa para microcontrolador é um desafio inovador a ser vencido neste projeto e contará com o apoio de alunos de graduação em Engenharia de Controle e Automação. Paralelamente à implementação será desenvolvido um estudo teórico da arquitetura de controle modular multitarefa, em cooperação com os outros professores do DAS, particularmente com. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Max Hering de Queiroz - Coordenador., Financiador(es): Universidade Federal de Santa Catarina - Auxílio financeiro., Número de produções C, T & A: 5

• 2006 - 2007

  Controle Supervisório Modular Local e Multitarefa de Sistemas a Eventos Discretos, Descrição: O presente trabalho de pesquisa tem como objetivo geral o desenvolvimento de contribuições teóricas e práticas que fundamentem uma abordagem eficiente para a aplicação da Teoria de Controle Supervisório em problemas reais envolvendo sistemas compostos com múltiplas especificações e múltiplas tarefas. Como objetivo específico pretende-se fazer uma aplicação dos resultados de controle supervisório modular local na síntese do controlador para um sistema flexível de manufatura real que englobe os principais aspectos problemáticos de interesse da pesquisa sobre sistemas a eventos discretos. São eles: múltiplos subsistemas concorrentes, múltiplas tarefas e especificações modulares que possam levar a situações de bloqueio. Atualmente o Departamento de Automação e Sistemas não dispõe de um sistema que contemple todas essas características. Os sistemas de manufatura disponíveis acabam por evitar as situações de bloqueio pela própria concepção da estrutura física e também não foram concebidos para a realização de múltiplas tarefas. Assim, a viabilidade dos desenvolvimentos práticos da pesquisa proposta depende do desenvolvimento de uma bancada com um protótipo de sistema flexível de manufatura. Pretende-se financiar a construção desta bancada de pesquisa com os recursos desse projeto. Um outro resultado importante que pode ser atingido ao longo deste trabalho é a implementação de rotinas computacionais para lidar com o modelo multitarefa, incluindo a extensão dos algoritmos de redução para supervisores com múltiplas marcações. Do ponto de vista teórico, pretende-se também desenvolver novos resultados para verificação e resolução de conflitos em controle modular local, bem como amadurecer os resultados recentes sobre controle multitarefa.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Max Hering de Queiroz - Coordenador., Financiador(es): Universidade Federal de Santa Catarina - Auxílio financeiro., Número de produções C, T & A: 2

• 2006 - Atual

  Síntese de Controle Supervisório Modular Temporizado e Aplicação à Automação Flexível de Sistemas de Manufatura, Descrição: A síntese de lógica de controle para sistemas a eventos discretos temporizados (SEDT) é um desafio importante para a automação flexível de sistemas de manufatura. A aplicação de métodos formais para controle ótimo de SEDT compostos por muitos subsistemas esbarra no crescimento exponencial do número de estados do modelo pela composição de subsistemas. Este projeto de pesquisa tem como objetivo geral o desenvolvimento de resultados teóricos e práticos que promovam a aplicação da teoria de controle supervisório em problemas reais envolvendo SEDT compostos por múltiplos sistemas concorrentes, com ênfase na coordenação de sistemas flexíveis de manufatura. Será pesquisado um modelo para representação eficiente de SEDT compostos, sobre o qual diversas abordagens de controle serão aplicadas, incluindo o controle modular local e controle com sensores. Pretende-se também desenvolver uma arquitetura para implementação de controle supervisório temporizado em plataformas computacionais como controladores lógicos programáveis (CLP) e microcontroladores. Essa arquitetura será usada para validação dos resultados em protótipos de Sistemas Flexíveis de Manufatura.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (9) / Doutorado: (3) . , Integrantes: Max Hering de Queiroz - Coordenador / José Eduardo Ribeiro Cury - Integrante., Número de produções C, T & A: 40

Prêmios