Max Hering de Queiroz

  • Endereço para acessar este CV: http://lattes.cnpq.br/2080900945781449
  • Última atualização do currículo em 18/09/2018


Max Hering de Queiroz possui graduação em Engenharia de Controle e Automação Industrial pela Universidade Federal de Santa Catarina (1998), mestrado e doutorado em Engenharia Elétrica pela Universidade Federal de Santa Catarina (2000 e 2004, respectivamente). De 2004 a 2006, foi professor do Curso Superior de Tecnologia em Automação Industrial no CEFET/SC. Em 2006, foi aprovado em concurso público para o Departamento de Automação e Sistemas da Universidade Federal de Santa Catarina, onde atualmente é professor da Engenharia de Controle e Automação e membro permanente do Programa de Pós-graduação em Engenharia de Automação e Sistemas. Seu principal interesse de pesquisa está na teoria de Sistemas a Eventos Discretos e sua aplicação em diversos domínios, incluindo sistemas de manufatura, informática industrial, robótica, escalonamento, indústria de petróleo e gás e biologia de sistemas. (Texto informado pelo autor)


Identificação


Nome
Max Hering de Queiroz
Nome em citações bibliográficas
QUEIROZ, M. H. DE;DE QUEIROZ, M. H.;QUEIROZ, M. H.;DE QUEIROZ, MAX H.;DE QUEIROZ, MAX;DE QUEIROZ, MAX HERING;Queiroz, Max H.;DE QUEIROZ, M.H.;QUEIROZ, MAX H. DE;QUEIROZ, MAX. H.

Endereço


Endereço Profissional
Universidade Federal de Santa Catarina, Centro Tecnológico, Departamento de Automação.
Campus Universitário
Trindade
88040-900 - Florianopolis, SC - Brasil
Telefone: (48) 37217791
Fax: (48) 37219934
URL da Homepage: http://www.das.ufsc.br


Formação acadêmica/titulação


2000 - 2004
Doutorado em Engenharia Elétrica.
Universidade Federal de Santa Catarina, UFSC, Brasil.
Título: Controle Supervisório Modular e Multitarefa de Sistemas Compostos, Ano de obtenção: 2004.
Orientador: José Eduardo Ribeiro Cury.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: sistemas a eventos discretos; controle supervisório; sistemas compostos.
Grande área: Engenharias
Grande Área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos / Especialidade: Controle de Processos Eletrônicos, Retroalimentação.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.
1998 - 2000
Mestrado em Engenharia Elétrica.
Universidade Federal de Santa Catarina, UFSC, Brasil.
Título: Controle Supervisório Modular de Sistemas de Grande Porte,Ano de Obtenção: 2000.
Orientador: José Eduardo Ribeiro Cury.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: controle supervisório; sistemas a eventos discretos; controle modular; sistemas de grande porte; sistemas de manufatura.
Grande área: Engenharias
Grande Área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos / Especialidade: Controle de Processos Eletrônicos, Retroalimentação.
Setores de atividade: Industria Eletro-Eletrônica; Indústria Metal-Mecânica; Informática.
1998 - 1999
Especialização em Moderna Gestão Empresarial. (Carga Horária: 420h).
Universidade Federal de Santa Catarina, UFSC, Brasil.
1993 - 1998
Graduação em Engenharia de Controle e Automação Industrial.
Universidade Federal de Santa Catarina, UFSC, Brasil.
Bolsista do(a): Fundação de Amparo à Pesquisa e Inovação do Estado de Santa Catarina, FAPESC, Brasil.


Pós-doutorado


2018
Pós-Doutorado.
Laboratoire d'Analyse et d'Architecture des Systemes, LAAS, França.
Bolsista do(a): Centre national de la recherche scientifique, CNRS, França.


Formação Complementar


2006 - 2006
Metodologia de Ensino Superior. (Carga horária: 54h).
Universidade Federal de Santa Catarina, UFSC, Brasil.
2005 - 2005
Visual C++. (Carga horária: 40h).
Centro de Informática e Automação do Estado de Santa Catarina, CIASC, Brasil.
2004 - 2004
Microcontroladores 8051. (Carga horária: 20h).
Centro Federal de Educação Tecnológica de Santa Catarina, CEFET/SC, Brasil.
1999 - 1999
Metodologia de Ensino Superior. (Carga horária: 60h).
Universidade Federal de Santa Catarina, UFSC, Brasil.


Atuação Profissional



Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira, INEP/MEC, Brasil.
Vínculo institucional

2014 - 2016
Vínculo: Colaborador, Enquadramento Funcional: Membro de Comissão Assessora

Atividades

1/2014 - Atual
Conselhos, Comissões e Consultoria, Diretoria de Avaliação da Educação Superior, .

Cargo ou função
Membro de Comissão Assessora de Área de Engenharia de Controle e Automação do Exame Nacional de Desempenho dos Estudantes - ENADE 2014.

Universidade Federal de Santa Catarina, UFSC, Brasil.
Vínculo institucional

2006 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

7/2013 - Atual
Conselhos, Comissões e Consultoria, Centro Tecnológico, Departamento de Automação e Sistemas.

Cargo ou função
? Membro do Núcleo Docente Estruturante do Curso de Graduação em Engenharia de Controle e Automação.
5/2008 - Atual
Conselhos, Comissões e Consultoria, Centro Tecnológico, Departamento de Automação e Sistemas.

Cargo ou função
? Membro Titular do Colegiado do Curso de Graduação em Engenharia de Controle e Automação.
3/2007 - Atual
Ensino, Engenharia de Automação e Sistemas, Nível: Pós-Graduação

Disciplinas ministradas
Conceitos Básicos de Controle de Automação
Fundamentos de Matemática Discreta para Controle e Automação
Sistemas a Eventos Discretos
T. A. em Automação: Automação Aplicada à Indústria de Petróleo e Gás
Modelos Formais para Sistemas de Automação DIscreta
01/2007 - Atual
Direção e administração, Centro Tecnológico, Departamento de Automação e Sistemas.

Cargo ou função
Supervisor do Laboratório de Automação e Informática Industrial - LAI.
1/2006 - Atual
Pesquisa e desenvolvimento , Centro Tecnológico, Departamento de Automação.

Linhas de pesquisa
Sistemas a Eventos Discretos
1/2006 - Atual
Ensino, Engenharia de Controle e Automação Industrial, Nível: Graduação

Disciplinas ministradas
Fundamentos de Estrutura da Informação
Introdução a Informática para Automação
Modelagem e Controle de Sistemas Automatizados
Tópicos Especiais em Automação da Manufatura
Informática Industrial I
05/2013 - 05/2015
Direção e administração, Centro Tecnológico, Departamento de Automação e Sistemas.

Cargo ou função
Subcoordenador do Curso de Engenharia de Controle e Automação.
5/2013 - 3/2014
Conselhos, Comissões e Consultoria, UFSC - Campus Blumenau, .

Cargo ou função
? Membro da comissão responsável pela criação do curso de Engenharia de Controle e Automação no Campus da UFSC em Blumenau.
12/2012 - 5/2013
Conselhos, Comissões e Consultoria, UNIVERSIDADE FEDERAL DE SANTA CATARINA - UFSC, .

Cargo ou função
Membro Titular da Câmara de Ensino de Graduação.
05/2011 - 05/2013
Direção e administração, Centro Tecnológico, Departamento de Automação e Sistemas.

Cargo ou função
Coordenador do Curso de Engenharia de Controle e Automação.

Centro Federal de Educação Tecnológica de Santa Catarina, CEFET/SC, Brasil.
Vínculo institucional

2004 - 2006
Vínculo: Servidor Público, Enquadramento Funcional: Professor de 1o e 2o Graus, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

04/2004 - 1/2006
Ensino, Curso Superior de Tecnologia em Automação Ind., Nível: Graduação

Disciplinas ministradas
Circuitos Elétricos e Eletrônicos
Computação Gráfica
Sistemas Digitais
Trabalho Integrador
Tecnologia de Hardware e Software

University of Toronto, UTORONTO, Canadá.
Vínculo institucional

2002 - 2003
Vínculo: Bolsista Doutorado-Sanduíche, Enquadramento Funcional: Pesquisador Visitante, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Estágio de Doutorado-Sanduíche com bolsa da CAPES no Systems Control Group. Orientador no Brasil: Prof. José E. R. Cury. Orientador no Canadá: Prof. W. M. Wonham.

Atividades

10/2002 - 09/2003
Estágios , The Edward S. Rogers Sr. Department of Electrical & Computer Engineering, Systems Control Group.

Estágio realizado
Estágio de Doutorado Sanduíche com bolsa da CAPES.

Siemens Automotive Sa Toulouse, SIEMENS, França.
Vínculo institucional

1997 - 1998
Vínculo: Estagiário, Enquadramento Funcional: Estagiário, Carga horária: 40
Outras informações
Estágio visando o desenvolvimento do Projeto de Fim de Curso da Automação - UFSC. Foi feita a instalação do Sistema Supervisório em WinCC para uma linha de produção automatizada.

Atividades

9/1997 - 2/1998
Estágios , Siemens Automotive Sa Toulouse, .

Estágio realizado
Projeto de Fim de Curso da Automação - UFSC: instalação do Sistema Supervisório em WinCC para uma linha de produção automatizada..

Laboratoire d'Analyse et d'Architecture des Systemes, LAAS, França.
Vínculo institucional

2016 - 2016
Vínculo: Professor Visitante, Enquadramento Funcional: Pesquisador convidado pelo INSA-Toulouse, Carga horária: 40

Atividades

10/2016 - 12/2016
Outras atividades técnico-científicas , Verification of Time Critical Systems - VERTICS, Verification of Time Critical Systems - VERTICS.

Atividade realizada
Validação de Sistemas Instrumentados de Segurança usando métodos de verificação formal de programas de CLP.


Linhas de pesquisa


1.
Sistemas a Eventos Discretos


Projetos de pesquisa


2014 - Atual
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: O objetivo deste projeto de pesquisa é 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. Nesse sentido, pretende-se atuar em três frentes de pesquisa: 1. desenvolver uma metodologia e um ambiente de testes de programas de controladores lógico-programáveis (CLP); 2. aplicar métodos de verificação formal em sistemas de controle por CLPs, especialmente na área de sistemas instrumentados de segurança; 3. pesquisar o uso de métodos formais de síntese de controle a eventos discretos para a indústria de petróleo e gás. Em resumo, a pesquisa a ser realizada neste projeto consiste em utilizar técnicas de teste e métodos formais de verificação e síntese em aplicações reais de petróleo e gás. Pretende-se inicialmente definir uma metodologia de geração de testes que permita aos engenheiros de unidades operacionais do Setor de Petróleo e Gás Natural certificar equipamentos e programas de fabricantes a partir da conformidade destes com o projeto básico fornecido. Para apoiar a aplicação desta metodologia será desenvolvido um protótipo de ferramenta que permite gerar de forma semi-automática os testes necessários para a certificação da programação de CLP. Além disso, pretende-se realizar uma pesquisa exploratória acerca das possíveis aplicações de métodos formais de verificação e síntese para validação de programas de CLP.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) / Doutorado: (1) .
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 orientações: 5
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: 2 / Número de orientações: 3
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: 1 / Número de orientações: 1
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: 26 / Número de orientações: 15


Revisor de periódico


2006 - Atual
Periódico: IEEE Transactions on Automatic Control
2009 - Atual
Periódico: Automatica (Oxford)
2010 - Atual
Periódico: Discrete Event Dynamic Systems
2014 - Atual
Periódico: IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Hu


Áreas de atuação


1.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos/Especialidade: Automação Eletrônica de Processos Elétricos e Industriais.
2.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos/Especialidade: Controle de Processos Eletrônicos, Retroalimentação.
3.
Grande área: Engenharias / Área: Engenharia Mecânica / Subárea: Projetos de Máquinas/Especialidade: Controle de Sistemas Mecânicos.


Idiomas


Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Alemão
Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.
Espanhol
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.


Prêmios e títulos


1993
Quarto Colocado no Concurso Vestibular, COPERVE - UFSC.


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:45
Total de citações:83
Fator H:5
Queiroz, Max H  Data: 12/07/2018

SCOPUS
Total de trabalhos:39
Total de citações:278
De Queiroz, Max H.  Data: 12/07/2018

Outras
Total de trabalhos:53
Total de citações:849
https://scholar.google.com/citations?user=pgMqMP0AAAAJ  Data: 27/07/2018

Artigos completos publicados em periódicos

1.
TEIXEIRA, MARCELO2018TEIXEIRA, 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.

2.
VIEIRA, AGNELO DENIS2017 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.

3.
SCHAFASCHEK, GERMANO2017 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.

4.
WATANABE, ANA T.Y.2017WATANABE, ANA T.Y. ; LEAL, ANDRÉ B. ; CURY, JOSÉ E.R. ; DE QUEIROZ, MAX H. . Safe Controllability using Online Prognosis. IFAC-PAPERSONLINE, v. 50, p. 12359-12365, 2017.

5.
CURY, J. E. R.2015 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.

6.
PRATI, T.J.2015PRATI, T.J. ; FARINES, J.M. ; DE QUEIROZ, M.H. . Automatic test of safety specifications for PLC programs in the Oil and Gas Industry∗∗We would like to thank the CAPES organization for providing financial support during this work and Petrobras engineers for providing documents and discussions about the test methodology.. IFAC-PAPERSONLINE, v. 48, p. 27-32, 2015.

7.
TEIXEIRA, MARCELO2014TEIXEIRA, MARCELO ; MALIK, ROBI ; CURY, JOSE ; DE QUEIROZ, MAX . Supervisory Control of DES with Extended Finite-State Machines and Variable Abstraction. IEEE Transactions on Automatic Control (Print), v. PP, p. 1-1, 2014.

8.
SCHAFASCHEK, GERMANO2014SCHAFASCHEK, GERMANO ; DE QUEIROZ, MAX H. ; CURY, JOSÉ E.R. . Local Modular Supervisory Control of Timed Discrete-Event Systems. IFAC Proceedings Volumes, v. 47, p. 271-277, 2014.

9.
CURY, JOSÉ2013CURY, JOSÉ ; MARTINEZ, CLAUDE ; QUEIROZ, MAX H. DE . Scheduling Cluster Tools with Supervisory Control Theory. IFAC Proceedings Volumes, v. 46, p. 312-317, 2013.

10.
TEIXEIRA, MARCELO2013TEIXEIRA, MARCELO ; CURY, JOSÉ E.R. ; DE QUEIROZ, MAX H. . Local Modular Control with Distinguishers applied to a Manufacturing System. IFAC Proceedings Volumes, v. 46, p. 263-268, 2013.

11.
AGUIAR, RAQUEL S.S.2013AGUIAR, RAQUEL S.S. ; CUNHA, ANTONIO E.C. ; CURY, JOSÉ E.R. ; QUEIROZ, MAX. H. . Heuristic Search of Supervisors by Approximated Distinguishers*. IFAC Proceedings Volumes, v. 46, p. 121-126, 2013.

12.
CURY, J.E.2012CURY, J.E. ; LOISEAU, J.J. ; MARTINEZ, C. ; DE QUEIROZ, M.H. . Using max-plus to solve the job shop problem with time lags. IFAC Proceedings Volumes, v. 45, p. 67-72, 2012.

13.
HILL, R.2010HILL, 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.

14.
SCHMIDT, KLAUS2010SCHMIDT, KLAUS ; QUEIROZ, MAX H. DE ; CURY, JOSÉ E.R. . Hierarchical Multitasking Control of Discrete Event Systems: Computation of Projections and Maximal Permissiveness. IFAC Proceedings Volumes, v. 43, p. 98-103, 2010.

15.
QUEIROZ, M. H. DE;DE QUEIROZ, M. H.;QUEIROZ, M. H.;DE QUEIROZ, MAX H.;DE QUEIROZ, MAX;DE QUEIROZ, MAX HERING;Queiroz, Max H.;DE QUEIROZ, M.H.;QUEIROZ, MAX H. DE;QUEIROZ, MAX. H.2005 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.

16.
DE QUEIROZ, MAX H.2005DE QUEIROZ, MAX H.; CURY, JOSÉ E.R. . MODULAR MULTITASKING SUPERVISORY CONTROL OF COMPOSITE DISCRETE-EVENT SYSTEMS. IFAC Proceedings Volumes, v. 38, p. 91-96, 2005.

17.
CURY, J. E. R.2004CURY, 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.

18.
DE QUEIROZ, MAX H.2004DE QUEIROZ, MAX H.; CURY, JOSÉ E.R. ; WONHAM, W.M. . Multi-tasking supervisory control of discrete-event systems. IFAC Proceedings Volumes, v. 37, p. 171-176, 2004.

19.
QUEIROZ, M. H. DE;DE QUEIROZ, M. H.;QUEIROZ, M. H.;DE QUEIROZ, MAX H.;DE QUEIROZ, MAX;DE QUEIROZ, MAX HERING;Queiroz, Max H.;DE QUEIROZ, M.H.;QUEIROZ, MAX H. DE;QUEIROZ, MAX. H.2002QUEIROZ, M. H. DE; CURY, J. E. R. . Controle Supervisório Modular de Sistemas de Manufatura. Controle & Automação (Impresso), Campinas, v. 13, n.2, p. 123-133, 2002.

Capítulos de livros publicados
1.
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. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2017, v. , p. 51-65.

2.
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.

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

2.
LAZARO, F. S. ; QUEIROZ, M. H. ; FARINES, J.M. . Metodologia para Desenvolvimento assistido por Model Checking de Sistemas de Controle e Monitoração de Navios. In: Congresso Brasileiro de Automática, 2018, João Pessoa. Anais do XXII Congresso Brasileiro de Automática, 2018.

3.
REIS, L. P. E. ; QUEIROZ, M. H. ; FARINES, J.M. ; LIMA, M. L. ; CAMPOS, M. C. M. M. . Verificação formal de Sistemas Instrumentados de Segurança na indústria de petróleo e gás natural. In: Congresso Brasileiro de Automática, 2018, João Pessoa. Anais do XXII Congresso Brasileiro de Automática, 2018.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

15.
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.

16.
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.

17.
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.

18.
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.

19.
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.

20.
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.

21.
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.

22.
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.

23.
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.

24.
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.

25.
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.

26.
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.

27.
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.

28.
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.

29.
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.

30.
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.

31.
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.

32.
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.

33.
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.

34.
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.

35.
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.

36.
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.

37.
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.

38.
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.

39.
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.

40.
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.

Resumos expandidos publicados em anais de congressos
1.
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.

Resumos publicados em anais de congressos
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
QUEIROZ, M. H. DE; LETTNIN, D. V.; BALDISSERA, F. L.; BECKER, L. B.; SOUZA, C. L.. Participação em banca de Luis Gustavo Perpétuo Costa Marques. Metodologia de Desenvolvimento de VHDL Sintetizável com Uso de Model-Checking. 2016. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

2.
CAMPONOGARA, E.; PLUCENIO, A.; QUEIROZ, M. H. DE; CARLSON, R. C.; MAYERLE, S. F.. Participação em banca de Lauvir Ramos Neto. Modelos Quadráticos por Partes para Otimização da Produção de Campos de Petróleo e Gás. 2016. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

3.
KRAUS JR., W.; GOLDNER, L. G.; CASTRO NETO, M. M.; QUEIROZ, M. H. DE. Participação em banca de Diego Benites Paradera. Implantação de Faixas Exclusivas para Ônibus: prioridade para Transporte Público. 2015. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

4.
QUADRI, M. B.; SOUZA, A. A. U.; QUEIROZ, M. H. DE; NICOLAU, V. P.. Participação em banca de Fábio Miotto. Estudo de um Misturador de Correntes Térmicas de Gases: Construção de um Protótipo com Análise de Modelagem e Simulação. 2015. Dissertação (Mestrado em Engenharia Química) - Universidade Federal de Santa Catarina.

5.
BALDISSERA, F. L.; QUEIROZ, M. H. DE; PAGANO, D. J.; MARQUES, J. L. B.. Participação em banca de Ana Maria Mainhardt Carpes. Estudo da Dinâmica de Redes de Regulação Gênica que Apresentam Oscilações Circadianas. 2015. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

6.
BECKER, L. B.; KOLIVER, C.; FARINES, J. M.; QUEIROZ, M. H. DE. Participação em banca de Fernando Silvano Gonçalves. Projeto e Concepção da Arquitetura de Software Embarcado de um Veículo Aéreo Não Tripulado. 2014. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

7.
MORENO, U. F.; DIAS, A.; NEGRI, V. J. DE; QUEIROZ, M. H. DE. Participação em banca de Igor Ribeiro Kuhlhoff. Method for Application of Weibull Distribution to the Reliability Calculation of Functional Safety for Industrial Machinery. 2014. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

8.
FARINES, J. M.; MORENO, U. F.; SAAD, R. T.; QUEIROZ, M. H. DE. Participação em banca de Victor Boeing Ribeiro. Exploração de Ambientes Desconhecidos Estruturados com Sistemas Multi-Robôs. 2014. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

9.
DA CUNHA, A. E. C.; CURY, J. E. R.; QUEIROZ, M. H. DE; MOREIRA, M. V. B.. Participação em banca de Raquel Stella da Silva de Aguiar. Busca Heurística na Obtenção de Supervisores Aproximados por Distinguidores: Estudo de Caso na Coordenação de Sistemas Multiveiculares. 2013. Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia.

10.
KRAUS JR., W.; QUEIROZ, M. H. DE; RIBEIRO, P. C. M.; COSTA, R. J. C.. Participação em banca de Ricardo Ghisi Tobaldini. Proposta de Arquitetura para Sistemas de Informação para Transporte Público usando o Estilo Arquitetural REST. 2013.

11.
LOURES, E. F. R. L.; BRAGA, C. M. P.; SANTOS, E. A. P.; QUEIROZ, M. H. DE; SANTOS, W. E.. Participação em banca de Ricardo Eiji Kondo. Mineração de processos para a identificação de padrões comportamentais na racionalização de alarmes em plantas industriais. 2013. Dissertação (Mestrado em Engenharia de Produção e Sistemas) - Pontifícia Universidade Católica do Paraná.

12.
MONTEZ, C.; MAZIERO, C. A.; SILVA, E. S.; QUEIROZ, M. H. DE. Participação em banca de Luiz Fernando Schrickte. Projeto, Implementação e Avaliação de Desempenho de Nós e Gateways 6LoWPAN. 2013. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

13.
LEAL, A. B.; VIEIRA, A. D.; HOUNSELL, M. S.; QUEIROZ, M. H. DE. Participação em banca de Suzana Ribas de Almeida. Implementação de Controle Supervisório em CLPs Usando Linguagem de Alto Nível. 2012. Dissertação (Mestrado em Engenharia Elétrica) - Universidade do Estado de Santa Catarina.

14.
ROSSO JUNIOR, R. S. U.; LEAL, A. B.; ZATTAR, I. C.; QUEIROZ, M. H. DE; WEHRMEISTER, M. A.. Participação em banca de Yuri Kaszuboski Lopes. Integração do níveis MES, SCADA e Controle da Planta de Manufatura com base na Teoria de Linguagens e Autômatos. 2012. Dissertação (Mestrado em Engenharia Elétrica) - Universidade do Estado de Santa Catarina.

15.
FARINES, J. M.; QUEIROZ, M. H. DE; HUBNER, J. F.; COSTA, R. J. C.. Participação em banca de José Gilmar Nunes de Carvalho Filho. Modelagem e Síntese para Coordenação de Sistemas Multi-Robôs baseada numa Estrutura de Jogo. 2012. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

16.
BECKER, L. B.; FARINES, J. M.; PERES, L.M.; QUEIROZ, M. H. DE; CURY, J. E. R.. Participação em banca de Rafael Garlet de Oliveira. Contribuições para a Melhoria do Processo de Verificação Formal de Propriedades em Programas AADL. 2011. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

17.
PENA, P.N.; TAKAHASHI, R.H.C.; QUEIROZ, M. H. DE; CARRANO, E.G.. Participação em banca de Regiane de Souza e Silva. Escalonamento Ótimo de Um Sistema Flexível de Manufatura Com Controle Supervisório. 2011. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal de Minas Gerais.

18.
FARINES, J. M.; QUEIROZ, M. H. DE; MORENO, U. F.; DA CUNHA, A. E. C.. Participação em banca de Jonatas Pavei. Coordenação em Sistemas Multi-Robôs utilizando Métodos Baseados em Autômatos. 2011. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

19.
LAFAY, J.-F.; LOISEAU, J.J.; QUEIROZ, M. H. DE; NALY, R.; ABBOU, R.; MOUSSAOUI, C.. Participação em banca de Othmane Ayyadi. Commande par Invariance des Systeme a Evenement Discret pour Satisfaire des Constraintes Temporelles. 2011. Dissertação (Mestrado em Master Automatique et Systemes de Production) - Ecole Centrale de Nantes.

20.
LAFAY, J.-F.; ABBOU, R.; QUEIROZ, M. H. DE; MOUSSAOUI, C.; ROUX, O.H.. Participação em banca de Sarem Youness. Etude des principes de la théorie de la supervision. 2011. Dissertação (Mestrado em Master Automatique et Systemes de Production) - Ecole Centrale de Nantes.

21.
DUTRA, C. B. S.; DIAS, R. A.; SOUSA, A. R.; QUEIROZ, M. H. DE; NOLL, V.. Participação em banca de Fabio Luiz Rodrigues Pinto. Sistema de Controle Direcionado a Máquinas de Ensaio Dinâmico. 2011. Dissertação (Mestrado em Mestrado Profissionalizante em Mecatrônica) - Instituto Federal de Santa Catarina.

22.
CAMPONOGARA, E.; COELHO, A. A. R.; GOLDNER, L. G.; QUEIROZ, M. H. DE. Participação em banca de José Dolores Vergara Dietrich. Uma proposta para síntese de controle realimentado dos tempos de verde em redes de tráfego veicular urbano. 2009. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

23.
FARINES, J. M.; BECKER, L. B.; QUEIROZ, M. H. DE; CARRO, L.; SANTOS, L. C. V.; BITTENCOURT, G.. Participação em banca de Ricardo Bedin França. Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação. 2008. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

24.
LEAL, A. B.; QUEIROZ, M. H. DE; ROCHA, F. R.; GARCIA, T. R.; FERREIRA, R. R.. Participação em banca de Carlos Alberto Teixeira. Aplicação da teoria de controle supervisório no projeto de controladores para eletrodomésticos. 2008. Dissertação (Mestrado em Mestrado Profissional em Engenharia Elétrica) - Universidade do Estado de Santa Catarina.

25.
SANTOS, E. A. P.; PAULA, M. A. B.; LOURES, E. F. R. L.; QUEIROZ, M. H. DE. Participação em banca de Jairo Rafael Cantillo Molina. Uma arquitetura híbrida para o controle de sistemas de manufatura com roteamentos de produção. 2007. Dissertação (Mestrado em Engenharia de Produção e Sistemas) - Pontifícia Universidade Católica do Paraná.

26.
SANTOS, E. A. P.; PAULA, M. A. B.; LOURES, E. F. R. L.; QUEIROZ, M. H. DE. Participação em banca de Daniel Balieiro Silva. Aplicação da teoria de controle supervisório no projeto de controladores para sistemas de manufatura multiprodutos. 2007. Dissertação (Mestrado em Engenharia de Produção e Sistemas) - Pontifícia Universidade Católica do Paraná.

27.
OGLIARI, A.; OLIVEIRA, R.S.; QUEIROZ, M. H. DE; SANTOS, E. A. P.. Participação em banca de Henri Carlo Belan. Formalização da Rede de Petri Canal/Agência para Projeto de Equipamentos Industriais. 2007. Dissertação (Mestrado em Programa de Pós-Graduação em Egenharia Mecânica) - Universidade Federal de Santa Catarina.

28.
CURY, J. E. R.; NEGRI, V. J. DE; SANTOS, E. A. P.; QUEIROZ, M. H. DE. Participação em banca de Frederico Theodoro Alves e Mello. Implementação Distribuída de Controle Supervisório para Sistemas a Eventos Discretos. 2006. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

29.
DIAS, A.; FORCELLINI, F. A.; QUEIROZ, M. H. DE; SANTOS, E. A. P.. Participação em banca de Rodrigo Barbosa Souto. Projeto de Sistemas Automáticos com Modelagem e Controle da Comunicação com o Ambiente Externo. 2005. Dissertação (Mestrado em Engenharia Mecânica) - Universidade Federal de Santa Catarina.

Teses de doutorado
1.
BASILIO, J. C. S.; MOREIRA, M. V. B.; CURY, JOSE E. R.; QUEIROZ, M. H. DE; DA CUNHA, A. E. C.. Participação em banca de Felipe Gomes de Oliveira Cabral. Synchronous Centralized Failure Diagnosis of Modular Discrete-Event Systems. 2017. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro.

2.
FARINES, J. M.; SAADE, D. C. M.; QUEIROZ, M. H. DE; WILLRICH, R.. Participação em banca de Delcini Picinin Junior. Uma Metodologia e um Ambiente MDE parea a Verificação de Aplicações Hipermídia. 2016. Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

3.
MOREIRA, M. V. B.; BHAYA, A.; MIYAGI, P. E.; DA CUNHA, A. E. C.; QUEIROZ, M. H. DE. Participação em banca de Jean Hilaire Adebai Tomola. Diagnóstico Descentralizado de Falhas em SIstemas a Eventos Discretos Robusto a Perdas de Observação. 2016. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro.

4.
MORENO, U. F.; RIBEIRO, C. E. P.; REGINATTO, R.; QUEIROZ, M. H. DE; PETRY, M. R.; PIERI,E.R.D.. Participação em banca de Breno Carneiro Pinheiro. Modelos Baseados em Funções Kernel para Localização de Veículos Autônomos Subaquáticos. 2015. Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

5.
TAKAHASHI, R.H.C.; PENA, P.N.; CARRANO, E.G.; ZUBEN, F. J. V.; QUEIROZ, M. H. DE; RAVETTI, M. G.. Participação em banca de Tatiana Alves Costa. Metodologia CSO - Controle Supervisório e Otimização - Aplicada à Resolução de Problemas de Sequenciamento de Tarefas em Sistemas Flexíveis de Manufatura. 2015. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Minas Gerais.

6.
BECKER, L. B.; BARRETO, R.; WEHRMEISTER, M. A.; KOLIVER, C.; QUEIROZ, M. H. DE; HUBNER, J. F.. Participação em banca de Rosana de Fátima Passarini. Transformação Assistida de Modelos: Mecanismo de Suporte para Desenvolvimento de Cyber-Physical Systems. 2014. Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

7.
CURY, J. E. R.; BASILIO, J. C. S.; DA CUNHA, A. E. C.; PENA, P.N.; MANSUR, D. S.; QUEIROZ, M. H. DE; PAGANO, D. J.. Participação em banca de Fábio Luis Baldissera. Uma Abordagem Baseada na Teoria de Controle Supervisório para Controle de Redes de Regulação Gênica. 2014. Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

8.
MORENO, U. F.; TAKAHASHI, R.H.C.; KOIKE, C. M. C. E. C.; HUBNER, J. F.; QUEIROZ, M. H. DE; SILVEIRA, H. B.. Participação em banca de Bernardo Ordoñez. Estratégia de Controle Cooperativo baseado em Consenso para um Grupo Multi-Veículos. 2013. Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

9.
BECKER, L. B.; SILVA, F.A.; BRANDÃO, D.; MONTEZ, C.; QUEIROZ, M. H. DE. Participação em banca de Marcelo Maia Sobral. Um Controle de Acesso ao Meio Híbrido em Redes Sem-Fio para Coordenação em Sistemas de Tempo-Real Autônomos e Móveis. 2011. Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

10.
MONTEZ, C.; DANTAS, M. A. R.; OLIVEIRA, L. A. H. G. DE; MORAES, R. A. R.; QUEIROZ, M. H. DE. Participação em banca de Alex Sandro Roschildt Pinto. Abordagens autonômicas para qualidade de serviços da comunicação em redes de sensores sem fio densas com requisitos temporais. 2010. Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

11.
CURY, J. E. R.; QUEIROZ, M. H. DE; LEAL, A. B.; DOREA, C. E. T.; NEGRI, V. J. DE; STEMMER, M. R.. Participação em banca de Agnelo Denis Vieira. Método de Implementação do Controle de Sistemas a Eventos Discretos com Aplicação da Teoria de Controle Supervisório. 2007. Tese (Doutorado em PROGRAMA DE POS GRADUAÇÃO EM ENGENHARIA ELETRICA) - Universidade Federal de Santa Catarina.

12.
CURY, J. E. R.; DA CUNHA, A. E. C.; LUDERS, R.; BITTENCOURT, G.; QUEIROZ, M. H. DE; NEGRI, V. J. DE. Participação em banca de Patrícia Nascimento Pena. Verificação de Conflito na Supervisão de Sistemas Concorrentes Usando Abstrações. 2007. Tese (Doutorado em Programa de Pós-graduação em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

13.
RODRÍGUEZ, R.S.; ROBLES, J. L.; PINERO, R. B.; MENDOZA, R. A. R.; QUEIROZ, M. H. DE. Participação em banca de Francisco Palomera Palacios. Quantitative Evaluation of Blocking-Recovery Discrete Modular Agents. 2006. Tese (Doutorado em Artificial Intelligence) - Instituto Tecnologico Y de Estudios Superiores de Monterrey.

14.
CURY, J. E. R.; KAESTNER, C. A. A.; GOMIDE, F. A. C.; MENDES, R. S.; QUEIROZ, M. H. DE; FARINES, J. M.; CAMPONOGARA, E.; BITTENCOURT, G.. Participação em banca de Cláudio de Oliveira. Contribuições ao Problema de Controle Supervisório de Sistemas a Eventos Discretos Parametrizáveis e Não-Regulares. 2005. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Qualificações de Doutorado
1.
QUEIROZ, M. H. DE; MATIAS JUNIOR, R.; NATALE, M.. Participação em banca de Daniel Bistrot de Oliveira. Formalization of the Real-Time Tasks on Linux. 2017. Exame de qualificação (Doutorando em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

2.
FARINES, J. M.; TOVAR, E.; QUEIROZ, M. H. DE. Participação em banca de Fernando SIlvano Gonçalves. Contribuições para o Desenvolvimento de Arquitetura de Sensoriamento e Atuação de Sistemas Ciberfísicos. 2016. Exame de qualificação (Doutorando em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

3.
LUDERS, R.; QUEIROZ, M. H. DE; NEVES JUNIOR, F.. Participação em banca de Jeferson Luiz Curzel. Metodologia de Controle para Sistemas de Transporte Público Baseado em Controle Tolerante a Falhas. 2016. Exame de qualificação (Doutorando em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

4.
QUEIROZ, M. H. DE; PORTO, L. M.; MANSUR, D. S.; PENA, P.N.; DA CUNHA, A. E. C.. Participação em banca de Fábio Luis Baldissera. Uma Abordagem ao Problema de Controle de Redes Biológicas Baseada na Teoria de Controle Supervisório. 2012. Exame de qualificação (Doutorando em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

5.
QUEIROZ, M. H. DE; RODRIGUEZ, C. M. T.; KLEN, E. R.; CARPINETTI, L. C. R.. Participação em banca de Omir Correia Alves Junior. Um arcabouço de suporte à sugestão de parceiros logísticos para compor organizações virtuais. 2010. Exame de qualificação (Doutorando em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

6.
MONTEZ, C.; DANTAS, M. A. R.; LUNG, L. C.; QUEIROZ, M. H. DE; OLIVEIRA, L. A. H. G. DE; BECKER, L. B.; FRIEDRICH, L. F.. Participação em banca de Alex Sandro Roschildt Pinto. Um modelo de Redes de Sensores sem Fio Densas para Aplicações com Fusão de Dados Tempo Real. 2008. Exame de qualificação (Doutorando em Programa de Pós-graduação em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

7.
NORMEY-RICO, J. E.; TROFINO NETO, A.; CAMPONOGARA, E.; SILVA JUNIOR, J. M. G.; QUEIROZ, M. H. DE; FAGUNDES, J. C. S.. Participação em banca de Martín Pomar Garcia. Projeto Integrado de Controle e Conversores com Aplicação à Indústria do Petróleo. 2007. Exame de qualificação (Doutorando em Pós Graduação em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

8.
CAMPONOGARA, E.; BITTENCOURT, G.; BARBOZA, E. U.; QUEIROZ, M. H. DE; NORMEY-RICO, J. E.; UCHOA FILHO, B. F.. Participação em banca de Melissa Pereira de Castro. Localização de Facilidades: Modelos, Algoritmos e Aplicações em Campos de Petróleo. 2007. Exame de qualificação (Doutorando em Pós Graduação em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

9.
CURY, J. E. R.; DA CUNHA, A. E. C.; QUEIROZ, M. H. DE; NEGRI, V. J. DE; BITTENCOURT, G.. Participação em banca de Patrícia Nacimento Pena. Explorando Aspectos Estruturais na Síntese de Supervisores para Sistemas Compostos. 2005. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

10.
CURY, J. E. R.; DOREA, C. E. T.; QUEIROZ, M. H. DE; NEGRI, V. J. DE; BITTENCOURT, G.. Participação em banca de Agnelo Denis Vieira. Contribuições à Implementação de Sistemas de Controle Supervisório. 2004. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.



Participação em bancas de comissões julgadoras
Concurso público
1.
MORENO, U. F.; QUEIROZ, M. H. DE; JOTA, F. G.. Membro Titular da Banca Examinadora do Concurso Público para Professor Auxiliar 1, DE, do Departamento de Automação e Sistemas, Edital 008/DDP/2013. 2013. Universidade Federal de Santa Catarina.



Eventos



Organização de eventos, congressos, exposições e feiras
1.
PIERI,E.R.D. ; PLUCENIO, A. ; COELHO, A. A. R. ; BRUCIAPAGLIA, A. H. ; NORMEY-RICO, J. E. ; BECKER, L. B. ; QUEIROZ, M. H. DE ; CAMPOS, P. R. B. ; MORENO, U. F. . VIII Simpósio Brasileiro de Automação Inteligente. 2007. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Günther Sgandella Klüsener. Uso de model-checking e teste baseado em modelos para validação de programas de CLP na indústria de petróleo e gás. Início: 2017. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

2.
Carolina Rutili de Lima. Controle de missão de robôs móveis em ambientes não estruturados. Início: 2017. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

3.
Guilhermo Keiji Saito. Projeto e Implementação de Sistemas Instrumentados de Segurança para a Indústria de Petróleo e Gás. Início: 2016. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

Tese de doutorado
1.
Rafael Garlet de Oliveira. Síntese e Implementação de Controle Hierárquico de Sistemas a Eventos Discretos em Processos Industriais. Início: 2018. Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina. (Orientador).

2.
Jimmy Timmermans. Escalonamento ótimo de sistemas a eventos discretos temporizados. Início: 2016. Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

3.
Rodrigo Szpak. Implementação de controle supervisório modular temporizado e escalonamento de processos em sistemas de produção. Início: 2015. Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina. (Orientador).

Supervisão de pós-doutorado
1.
Rodrigo Tacla Saad. Início: 2018. Universidade Federal de Santa Catarina, Fundação de Ensino de Engenharia de Santa Catarina.

Iniciação científica
1.
Gustavo Schmitz Albino. 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. Início: 2017. Iniciação científica (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina, Fundação de Ensino de Engenharia de Santa Catarina. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Hallan William Veiga. Método para Teste Automatizado de Sistemas Instrumentados de Segurança em Plataformas de Petróleo. 2018. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, . Orientador: Max Hering de Queiroz.

2.
Luiz Paulo Enadio dos Reis. Verificação Formal de Sistemas Instrumentados de Segurança na Indústria de Petróleo e Gás Natural. 2018. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, . Orientador: Max Hering de Queiroz.

3.
Felipe Da Silva Lázaro. Metodologia para Desenvolvimento de Sistemas de Controle e Monitoração de Navios assistido por Model Checking. 2018. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, . Orientador: Max Hering de Queiroz.

4.
Otávio Polonio Muler. Síntese e Implementação de Controle Supervisório de Processos Industriais com Malha de Válvulas. 2018. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Max Hering de Queiroz.

5.
Luis Gustavo Perpetuo Costa Marques. Metodologia de desenvolvimento de VHDL sintetizável com uso de Model Checking. 2016. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, . Orientador: Max Hering de Queiroz.

6.
William Andrey Faustino Scotti. Metodologia de desenvolvimento de sistema de controle supervisório integrando CLP, SCADA e roteamento de tarefas. 2015. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Max Hering de Queiroz.

7.
Helena Martins. Exploração do uso de Redes de Petri para o estudo do desenvolvimento da vulva do C. Elegans. 2014. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Max Hering de Queiroz.

8.
Thiago Javaroni Prati. Desenvolvimento de uma metodologia para realização de testes em programas de CLP na Indústria do Petróleo e Gás. 2014. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Max Hering de Queiroz.

9.
Germano Schafaschek. Uma Abordagem Local para o Controle Supervisório Modular de Sistemas a Eventos Discretos Temporizados. 2014. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Max Hering de Queiroz.

10.
Pablo Valério Polônia. Proposta de Arquitetura Orientada a Recursos para SCADA na Web. 2011. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Max Hering de Queiroz.

11.
Nicole Beatriz Portilla Constain. Integração de sistemas SCADA com a implementação de controle supervisório em CLP para sistemas de manufatura. 2011. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Max Hering de Queiroz.

12.
Yuri Garcia Silva. Controle supervisório modular local de sistemas de veículos auto-guiados. 2010. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Max Hering de Queiroz.

13.
Denis da Cruz Pinha. Escalonamento ótimo baseado na Teoria de Controle Supervisório aplicado a um estaleiro de reparo naval. 2010. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, . Orientador: Max Hering de Queiroz.

14.
Mateus Feijó de Souza. Modelagem e verificação de programas de CLP escritos em Diagrama Ladder. 2010. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Max Hering de Queiroz.

15.
Francisco de Assis Carvalho da Silva Neto. Redução de Supervisores Utilizando marcação por Eventos e Métodos de Otimização. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Max Hering de Queiroz.

Tese de doutorado
1.
Sandro Batistella. Controle de missão baseado na Teoria de Controle Supervisório com aplicação a veículos subaquáticos autônomos. 2015. Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, . Orientador: Max Hering de Queiroz.

2.
Marcelo Teixeira. Explorando o uso de Distinguidores e de Autômatos Finitos Estendidos na Teoria do Controle Supervisório de Sistemas a Eventos Discretos. 2013. Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Max Hering de Queiroz.

Trabalho de conclusão de curso de graduação
1.
Guilhermo Keiji Saito. Desenvolvimento de Ferramenta para Especificação dos Intertravamentos de Segurança para CLP na Indústria de Petróleo e Gás. 2016. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina, Fundação de Ensino de Engenharia de Santa Catarina. Orientador: Max Hering de Queiroz.

Iniciação científica
1.
Vinicius Heck Peiter. 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. 2018. Iniciação Científica. (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina, Fundação de Ensino de Engenharia de Santa Catarina. Orientador: Max Hering de Queiroz.

2.
Thales Porto Mendes. 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. 2017. Iniciação Científica. (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina, Fundação de Ensino de Engenharia de Santa Catarina. Orientador: Max Hering de Queiroz.

3.
Rafael Eriberto Mariot Scarduelli. 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. 2016. Iniciação Científica. (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina, Fundação de Ensino de Engenharia de Santa Catarina. Orientador: Max Hering de Queiroz.

4.
Adller Simas. Síntese e implementação de controle supervisório para segurança de um processo característico da indústria de petróleo e gás. 2015. Iniciação Científica. (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina, Agência Nacional do Petróleo, Gás Natural e Biocombustíveis. Orientador: Max Hering de Queiroz.

5.
Guilherme Silva Fontes. Aplicação de uma metodologia para teste automático a um Sistema Instrumentado de Segurança de um separador trifásico. 2015. Iniciação Científica. (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina, Agência Nacional do Petróleo, Gás Natural e Biocombustíveis. Orientador: Max Hering de Queiroz.

6.
Marcelo Menegol. Método de Diagnóstico de Falhas baseado em Sistemas a Eventos Discretos aplicado à Indústria de Petróleo e Gás. 2012. Iniciação Científica. (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina. Orientador: Max Hering de Queiroz.

7.
Thiago Javaroni Prati. Desenvolvimento de técnicas formais de diagnóstico de falhas para indústria de petróleo e gás. 2011. Iniciação Científica. (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina, Agência Nacional do Petróleo, Gás Natural e Biocombustíveis. Orientador: Max Hering de Queiroz.

8.
Germano Schafaschek. Síntese e Implementação de Controle Supervisório para Sistemas a Eventos Discretos. 2009. Iniciação Científica. (Graduando em Engenharia de Controle e Automação Industrial) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Max Hering de Queiroz.

9.
Paulo Luis Franchini Casaretto. Arquitetura de controle supervisório embarcado aplicada à coordenação de veículos autoguiados. 2009. Iniciação Científica. (Graduando em Engenharia de Controle e Automação Industrial) - Universidade Federal de Santa Catarina, Fundação de Amparo à Pesquisa e Inovação do Estado de Santa Catarina. Orientador: Max Hering de Queiroz.

10.
Luis Gustavo Perpétuo Costa Marques. Simulação e implementação de controle supervisório em microcontroladores.. 2008. Iniciação Científica. (Graduando em Engenharia de Controle e Automação Industrial) - Universidade Federal de Santa Catarina. Orientador: Max Hering de Queiroz.

11.
Ana Maria Mainhardt Carpes. Desenvolvimento de Programa em Lisp para Apoio ao Projeto de Controle de Sistemas a Eventos Discretos. 2008. Iniciação Científica. (Graduando em Engenharia de Controle e Automação Industrial) - Universidade Federal de Santa Catarina. Orientador: Max Hering de Queiroz.

12.
Bruno Koech Lisboa. Desenvolvimento de hardware para controle de uma célula de manufatura didática. 2007. Iniciação Científica. (Graduando em Engenharia de Controle e Automação Industrial) - Universidade Federal de Santa Catarina. Orientador: Max Hering de Queiroz.




Página gerada pelo Sistema Currículo Lattes em 21/10/2018 às 19:12:26