Max Hering de Queiroz

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. Em 2018, realizou um ano de pós-doutorado no LAAS-CNRS, em Toulouse, na França. 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.

Informações coletadas do Lattes em 25/06/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Engenharia Elétrica

2000 - 2004

Universidade Federal de Santa Catarina
Título: Controle Supervisório Modular e Multitarefa de Sistemas Compostos
Orientador: em University of Toronto ( W. Murray Wonham)
com 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: EngenhariasGrande Á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.

Mestrado em Engenharia Elétrica

1998 - 2000

Universidade Federal de Santa Catarina
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: EngenhariasGrande Á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.

Especialização em Moderna Gestão Empresarial

1998 - 1999

Universidade Federal de Santa Catarina

Graduação em Engenharia de Controle e Automação Industrial

1993 - 1998

Universidade Federal de Santa Catarina
Bolsista do(a): Fundação de Amparo à Pesquisa e Inovação do Estado de Santa Catarina, FAPESC, Brasil.

Seção coletada automaticamente pelo Escavador

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.

Seção coletada automaticamente pelo Escavador

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.

Seção coletada automaticamente pelo Escavador

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Espanhol

Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Bandeira representando o idioma Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Francês

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Bandeira representando o idioma Alemão

Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.

Seção coletada automaticamente pelo Escavador

Áreas de atuação

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.

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: Engenharias / Área: Engenharia Mecânica / Subárea: Projetos de Máquinas/Especialidade: Controle de Sistemas Mecânicos.

Seção coletada automaticamente pelo Escavador

Organização de eventos

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

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Luis Gustavo Perpetuo Costa Marques

QUEIROZ, M. H. DE; LETTNIN, D. V.;BALDISSERA, F. L.BECKER, L. B.; SOUZA, C. L.. 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.

Aluno: Lauvir Ramos Neto

CAMPONOGARA, E.; PLUCENIO, A.;QUEIROZ, M. H. DE; CARLSON, R. C.; MAYERLE, S. F.. 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.

Aluno: Diego Benites Paradera

KRAUS JR., W.; GOLDNER, L. G.; CASTRO NETO, M. M.;QUEIROZ, M. H. DE. 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.

Aluno: Fábio Miotto

QUADRI, M. B.; SOUZA, A. A. U.;QUEIROZ, M. H. DE; NICOLAU, V. P.. 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.

Aluno: Ana Maria Mainhardt Carpes

BALDISSERA, F. L.QUEIROZ, M. H. DE; PAGANO, D. J.; MARQUES, J. L. B.. 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.

Aluno: Fernando Silvano Gonçalves

BECKER, L. B.; KOLIVER, C.;FARINES, J. M.QUEIROZ, M. H. DE. 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.

Aluno: Igor Ribeiro Kuhlhoff

MORENO, U. F.; DIAS, A.;NEGRI, V. J. DEQUEIROZ, M. H. DE. 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.

Aluno: Victor Boeing Ribeiro

FARINES, J. M.MORENO, U. F.; SAAD, R. T.;QUEIROZ, M. H. DE. 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.

Aluno: Raquel Stella da Silva de Aguiar

DA CUNHA, A. E. C.CURY, J. E. R.QUEIROZ, M. H. DE; MOREIRA, M. V. B.. 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.

Aluno: Ricardo Ghisi Tobaldini

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

Aluno: Ricardo Eiji Kondo

LOURES, E. F. R. L.; BRAGA, C. M. P.;SANTOS, E. A. P.QUEIROZ, M. H. DE; SANTOS, W. E.. 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á.

Aluno: Luiz Fernando Schrickte

MONTEZ, C.; MAZIERO, C. A.; SILVA, E. S.;QUEIROZ, M. H. DE. 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.

Aluno: Suzana Ribas de Almeida

LEAL, A. B.VIEIRA, A. D.; HOUNSELL, M. S.;QUEIROZ, M. H. DE. 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.

Aluno: Yuri Kaszuboski Lopes

ROSSO JUNIOR, R. S. U.;LEAL, A. B.; ZATTAR, I. C.;QUEIROZ, M. H. DE; WEHRMEISTER, M. A.. 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.

Aluno: José Gilmar Nunes de Carvalho Filho

FARINES, J. M.QUEIROZ, M. H. DE; HUBNER, J. F.; COSTA, R. J. C.. 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.

Aluno: Rafael Garlet de Oliveira

BECKER, L. B.FARINES, J. M.; PERES, L.M.;QUEIROZ, M. H. DECURY, J. E. R.. 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.

Aluno: Regiane de Souza e Silva

PENA, P.N.; TAKAHASHI, R.H.C.;QUEIROZ, M. H. DE; CARRANO, E.G.. 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.

Aluno: Jonatas Pavei

FARINES, J. M.QUEIROZ, M. H. DEMORENO, U. F.DA CUNHA, A. E. C.. 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.

Aluno: Sarem Youness

LAFAY, J.-F.; ABBOU, R.;QUEIROZ, M. H. DE; MOUSSAOUI, C.; ROUX, O.H.. 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.

Aluno: Fabio Luiz Rodrigues Pinto

DUTRA, C. B. S.; DIAS, R. A.; SOUSA, A. R.;QUEIROZ, M. H. DE; NOLL, V.. 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.

Aluno: Othmane Ayyadi

LAFAY, J.-F.; LOISEAU, J.J.;QUEIROZ, M. H. DE; NALY, R.; ABBOU, R.; MOUSSAOUI, C.. 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.

Aluno: José Dolores Vergara Dietrich

CAMPONOGARA, E.COELHO, A. A. R.; GOLDNER, L. G.;QUEIROZ, M. H. DE. 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.

Aluno: Carlos Alberto Teixeira

LEAL, A. B.QUEIROZ, M. H. DE; ROCHA, F. R.; GARCIA, T. R.; FERREIRA, R. R.. 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.

Aluno: Ricardo Bedin França

FARINES, J. M.BECKER, L. B.QUEIROZ, M. H. DE; CARRO, L.; SANTOS, L. C. V.;BITTENCOURT, G.. 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.

Aluno: Jairo Rafael Cantillo Molina

SANTOS, E. A. P.; PAULA, M. A. B.; LOURES, E. F. R. L.;QUEIROZ, M. H. DE. 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á.

Aluno: Daniel Balieiro Silva

SANTOS, E. A. P.; PAULA, M. A. B.; LOURES, E. F. R. L.;QUEIROZ, M. H. DE. 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á.

Aluno: Henri Carlo Belan

OGLIARI, A.;OLIVEIRA, R.S.QUEIROZ, M. H. DESANTOS, E. A. P.. 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.

Aluno: Frederico Theodoro Alves e Mello

CURY, J. E. R.NEGRI, V. J. DESANTOS, E. A. P.QUEIROZ, M. H. DE. 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.

Aluno: Rodrigo Barbosa Souto

DIAS, A.; FORCELLINI, F. A.;QUEIROZ, M. H. DESANTOS, E. A. P.. 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.

Aluno: Felipe Gomes de Oliveira Cabral

BASILIO, J. C. S.; MOREIRA, M. V. B.;CURY, JOSE E. R.QUEIROZ, M. H. DEDA CUNHA, A. E. C.. Synchronous Centralized Failure Diagnosis of Modular Discrete-Event Systems. 2017. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro.

Aluno: Delcini Picinin Junior

FARINES, J. M.; SAADE, D. C. M.;QUEIROZ, M. H. DE; WILLRICH, R.. 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.

Aluno: Jean Hilaire Adebai Tomola

MOREIRA, M. V. B.; BHAYA, A.; MIYAGI, P. E.;DA CUNHA, A. E. C.QUEIROZ, M. H. DE. 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.

Aluno: Breno Carneiro Pinheiro

MORENO, U. F.; RIBEIRO, C. E. P.; REGINATTO, R.;QUEIROZ, M. H. DE; PETRY, M. R.; PIERI,E.R.D.. 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.

Aluno: Tatiana Alves Costa

TAKAHASHI, R.H.C.;PENA, P.N.; CARRANO, E.G.; ZUBEN, F. J. V.;QUEIROZ, M. H. DE; RAVETTI, M. G.. 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.

Aluno: Rosana de Fátima Passarini

BECKER, L. B.; BARRETO, R.; WEHRMEISTER, M. A.; KOLIVER, C.;QUEIROZ, M. H. DE; HUBNER, J. F.. 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.

Aluno: Fabio Luis Baldissera

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

Aluno: Bernardo Ordoñez

MORENO, U. F.; TAKAHASHI, R.H.C.; KOIKE, C. M. C. E. C.; HUBNER, J. F.;QUEIROZ, M. H. DE; SILVEIRA, H. B.. 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.

Aluno: Marcelo Maia Sobral

BECKER, L. B.; SILVA, F.A.; BRANDÃO, D.;MONTEZ, C.QUEIROZ, M. H. DE. 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.

Aluno: ALEX SANDRO ROSCHILDT PINTO

MONTEZ, C.; DANTAS, M. A. R.; OLIVEIRA, L. A. H. G. DE; MORAES, R. A. R.;QUEIROZ, M. H. DE. 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.

Aluno: Agnelo Denis Vieira

CURY, J. E. R.QUEIROZ, M. H. DELEAL, A. B.; DOREA, C. E. T.;NEGRI, V. J. DE; STEMMER, M. R.. 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.

Aluno: Patrícia Nascimento Pena

CURY, J. E. R.DA CUNHA, A. E. C.; LUDERS, R.;BITTENCOURT, G.QUEIROZ, M. H. DENEGRI, V. J. DE. 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.

Aluno: Francisco Palomera Palacios

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

Aluno: Claudio de Oliveira

CURY, J. E. R.; KAESTNER, C. A. A.; GOMIDE, F. A. C.;MENDES, R. S.QUEIROZ, M. H. DEFARINES, J. M.CAMPONOGARA, E.BITTENCOURT, G.. 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.

Aluno: Daniel Bistrot de Oliveira

QUEIROZ, M. H. DE; MATIAS JUNIOR, R.; NATALE, M.. 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.

Aluno: Fernando Silvano Gonçalves

FARINES, J. M.; TOVAR, E.;QUEIROZ, M. H. DE. 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.

Aluno: Jeferson Luiz Curzel

LUDERS, R.;QUEIROZ, M. H. DE; NEVES JUNIOR, F.. 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á.

Aluno: Fabio Luis Baldissera

QUEIROZ, M. H. DE; PORTO, L. M.; MANSUR, D. S.;PENA, P.N.DA CUNHA, A. E. C.. 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.

Aluno: Omir Correia Alves Junior

QUEIROZ, M. H. DE; RODRIGUEZ, C. M. T.; KLEN, E. R.; CARPINETTI, L. C. R.. 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.

Aluno: ALEX SANDRO ROSCHILDT PINTO

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

Aluno: Melissa Pereira de Castro

CAMPONOGARA, E.BITTENCOURT, G.; BARBOZA, E. U.;QUEIROZ, M. H. DENORMEY-RICO, J. E.; UCHOA FILHO, B. F.. 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.

Aluno: Martín Pomar Garcia

NORMEY-RICO, J. E.TROFINO NETO, A.CAMPONOGARA, E.; SILVA JUNIOR, J. M. G.;QUEIROZ, M. H. DE; FAGUNDES, J. C. S.. 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.

Aluno: Patrícia Nacimento Pena

CURY, J. E. R.DA CUNHA, A. E. C.QUEIROZ, M. H. DENEGRI, V. J. DEBITTENCOURT, G.. 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.

Aluno: Agnelo Denis Vieira

CURY, J. E. R.; DOREA, C. E. T.;QUEIROZ, M. H. DENEGRI, V. J. DEBITTENCOURT, G.. 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.

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.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Victor Juliano de Negri

CURY, J. E. R; MENDES, Rafael Santos; MIYAGI, Paulo Eigi;DE NEGRI, V. J.; FARINES, Jean Marie; CAMPONOGARA, Eduardo. Controle Supervisório Modular e Multitarefa de Sistemas Compostos. 2004. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Victor Juliano de Negri

COSTA, Antonio José Alves Simões;CURY, J. E. R; MIYAGI, Paulo Eigi; BITTENCOURT, Guilherme;STEMMER, M. R.DE NEGRI, V. J.. Contribuições Teóricas e Práticas ao Controle Supervisório de Sistemas Compostos. 2002. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Marcelo Ricardo Stemmer

COSTA, A. J. A. S.; CURY, J. E. R.; MIYAGI, P. E.; BITTENCOURT, G.;STEMMER, M. R.NEGRI, V. J.. Contribuições Teórica e Práticas ao Controle Supervisório de Sistemas Compostos. 2002. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Antonio José Alves Simões Costa

COSTA, Antonio José Alves Simões. Contribuições Teóricas e Práticas ao Controle Supervisório de Sistemas Compostos. 2002. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Seção coletada automaticamente pelo Escavador

Orientou

Rafael Azambuja da Silva

Projeto de sistema instrumentado de segurança assistido por métodos formais para processos industriais com múltiplos modos de operação; Início: 2019; Dissertação (Mestrado profissional em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina; (Orientador);

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);

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);

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);

Rodrigo Tacla Saad

Início: 2018; Universidade Federal de Santa Catarina, Fundação de Ensino de Engenharia de Santa Catarina;

Carolina Rutili de Lima

ControleSupervisóriodeumSistemadePatrulhamentoMultirrobôscom ArquiteturaDeliberativa/Reativa; 2019; 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;

Guilhermo Keiji Saito

Análise de Riscos e Especificação de Requisitos de Segurança para Processos Industriais com Múltiplos Modos de Operação; 2019; 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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

Maria Eduarda Bastos Lübke

Aplicação da técnica Runtime Verification para monitorar CLPs de sistemas do tipo Sistemas Instrumentados de Segurança para a Indústria de Petróleo e Gás; 2019; 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;

Pedro Marcolin Antunes

Validação de Sistemas de Controle e Automação na Indústria do Petróleo e Gás; 2019; 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;

Vinícius 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;

Eduardo Camilo do Canto

Testes de Conformidade e Verificação Formal de Sistemas Aplicados para a Indústria de Petróleo e Gás; 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;

Eduardo Rehbein de Souza

Avaliação da técnica Learning-based Testing como ferramenta de validação de programas de CLP; 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;

Gustavo de Assis Schmidt

Desenvolvimento de protótipos para testes de conformidade e verificação formal de sistemas da Indústria de Petróleo e Gás; 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;

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;

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

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;

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;

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;

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;

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;

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;

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;

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;

Luis Gustavo Perpetuo 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;

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;

Seção coletada automaticamente pelo Escavador

Foi orientado por

MARIO CESAR ZAMBALDI

Elaboraço e desenvolvimento de rotinas numéricas computacionais para problemas com estruturas esparsas; 1994; 0 f; Iniciação Científica; (Graduando em Engenharia de Automação Industrial) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Mário César Zambaldi;

José Eduardo Ribeiro Cury

Controle Supervisório Modular de Sistemas de Grande Porte; 2000; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Eduardo Ribeiro Cury;

José Eduardo Ribeiro Cury

Controle Supervisório Modular e Multitarefa de Sistemas Compostos; 2004; 0 f; Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Eduardo Ribeiro Cury;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

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

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

Seção coletada automaticamente pelo Escavador

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

Seção coletada automaticamente pelo Escavador

Prêmios

1993

Quarto Colocado no Concurso Vestibular, COPERVE - UFSC.

Histórico profissional

Seção coletada automaticamente pelo Escavador

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:

Seção coletada automaticamente pelo Escavador

Experiência profissional

2014 - 2016

Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira

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

Atividades

  • 01/2014

    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.

2006 - Atual

Universidade Federal de Santa Catarina

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

Atividades

  • 07/2013

    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.

  • 05/2008

    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.

  • 03/2007

    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

    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.

  • 01/2006

    Pesquisa e desenvolvimento , Centro Tecnológico, Departamento de Automação.,Linhas de pesquisa

  • 01/2006

    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.

  • 05/2013 - 03/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 - 05/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.

2004 - 2006

Centro Federal de Educação Tecnológica de Santa Catarina

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

Atividades

  • 04/2004 - 01/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

2002 - 2003

University of Toronto

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.

1997 - 1998

Siemens Automotive Sa Toulouse

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

  • 09/1997 - 02/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..

2016 - 2016

Laboratoire d'Analyse et d'Architecture des Systemes

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.