Marcelo Rosa

Graduado em Engenharia de Computação pela Universidade Tecnológica Federal do Paraná (UTFPR) - Câmpus Pato Branco e Mestre em Engenharia Elétrica, pela mesma instituição, na linha de pesquisa Análise de Sistemas Dinâmicos, atuando na área de Automação e Controle a Eventos Discretos. Tem experiência na área de programação, desenvolvimento e atualização de rotinas para sistema de gestão de cooperativas e agronegócio. Possui interesse nas áreas de sistema de controle, automação discreta, eletrônica e sistemas digitais.

Informações coletadas do Lattes em 31/10/2019

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em andamento em Engenharia de Automação e Sistemas

2019 - Atual

Universidade Federal de Santa Catarina
Orientador: José Eduardo Ribeiro Cury
Coorientador: Fabio Luis Baldissera. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Mestrado em Programa de Pós-Graduação em Engenharia Elétrica

2017 - 2019

Universidade Tecnológica Federal do Paraná
Título: Explorando o uso de Aproximações na Síntese e na Implementação de Controladores para Sistemas a Eventos Discretos,Ano de Obtenção: 2019
Marcelo Teixeira.Coorientador: Robi Malik. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Graduação em Engenharia de Computação

2012 - 2016

Universidade Tecnológica Federal do Paraná
Título: Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos
Orientador: Marcelo Teixeira

Curso técnico/profissionalizante em Informática

2010 - 2011

CENTRO ESTADUAL DE EDUCAÇÃO PROFISSIONAL PEDRO BOARETTO NETO

Seção coletada automaticamente pelo Escavador

Formação complementar

2012 - 2012

Processos no Cooperate. (Carga horária: 8h). , Datacoper Software Ltda, DC, Brasil.

2012 - 2012

Noções básicas em desenvolvimento Progress. (Carga horária: 660h). , Datacoper Software Ltda, DC, Brasil.

2011 - 2012

Profissional Programador. (Carga horária: 150h). , Harpa Educacional, HARPA, Brasil.

2011 - 2011

Linguagem Progress e Java. (Carga horária: 250h). , Centro de Ensino Superior de Maringá, CESUMAR, Brasil.

Seção coletada automaticamente pelo Escavador

Idiomas

Inglês

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

Seção coletada automaticamente pelo Escavador

Participação em eventos

XXII Congresso Brasileiro de Automática. Controle Supervisório de Sistemas a Eventos Discretos com Auto-aproximações. 2018. (Congresso).

XXI Seminário de Iniciação Científica e Tecnológica da UTFPR - SICITE.Distinção de eventos aplicada a sistemas de manufatura. 2016. (Seminário).

Encontro Acadêmico da Informática. 2015. (Encontro).

XIX Seminário de Iniciação Científica e Tecnológica da UTFPR - SICITE.Formulação de ração de mínimo custo para bovinocultura de leite: animais nos dois últimos meses de gestação. 2014. (Seminário).

7ª EXPOTEC. 2012. (Exposição).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Maicon Paulo Assmann

TEIXEIRA, M.ROSA, M.TORRICO, C. R. C.; BARBOSA, M. A.. Controle Supervisório com Estruturas Concorrentes de Refinamentos Sujeitas à Dependência de Contexto. 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Felipe Silveira Azevedo

AZEVEDO, F. S.. Estudo de caso em uma empresa madeireira na cidade de Guarapuava-Pr. 2017. Trabalho de Conclusão de Curso (Graduação em CST em Gestão de Recursos Humanos) - Faculdade Guarapuava.

Patrícia Nascimento Pena

TEIXEIRA, M.; BARBOSA, M. A. C.; TORRICO, C. R. C.;PENA, P.N.. Explorando o Uso de Aproximações na Síntese e na Implementação de Controladores para Sistemas a Eventos Discretos. 2019. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná.

Marco Antônio de Castro Barbosa

TEIXEIRA, M.;BARBOSA, M. A. C.; TORRICO, C. C.. Explorando o uso de Abstrações na Implementação de Controladores para Sistemas a Eventos Discretos. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná.

Seção coletada automaticamente pelo Escavador

Foi orientado por

Márcia Izildinha Kovalski

Impairment Conceitos Iniciais e seu Impacto pelo Valor de Mercado; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciências Contábeis) - Faculdade Sagrada Família; Orientador: Márcia Izildinha Kovalski;

Dayse Regina Batistus

Aplicação da Programação Linear para a formulação de rações para a bovinocultura de leite; Início: 2014; Iniciação científica (Graduando em Engenharia da Computação) - Universidade Tecnológica Federal do Paraná; (Orientador);

Dayse Regina Batistus

Aplicação da Programação Linear para a formulação de rações para a bovinocultura de leite; 2013; Orientação de outra natureza; (Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Dayse Regina Batistus;

Felipe Silveira Azevedo

Estudo de caso em uma empresa madeireira na cidade de Guarapuava-Pr; 2017; Trabalho de Conclusão de Curso; (Graduação em CST em Gestão de Recursos Humanos) - Faculdade Guarapuava; Orientador: Felipe Silveira Azevedo;

Marcelo Teixeira

Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos; 2019; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcelo Teixeira;

Marcelo Teixeira

Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos; 2016; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Marcelo Teixeira

Tratamento da complexidade computacional inerente à síntese de controladores para sistemas industriais de grande porte; 2016; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná, Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Teixeira;

Carlos Honorato Schuch Santos

-; 2003; Trabalho de Conclusão de Curso; (Graduação em Administração de Empresas) - Universidade de Santa Cruz do Sul; Orientador: Carlos Honorato Schuch Santos;

Jorge Luis Roel Ortiz

Orientador de Monitor da dsiciplina de análise de Ciruitos Elétricos 1; 2014; Orientação de outra natureza; (Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná, UTFPR; Orientador: Jorge Luis Roel Ortiz;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • ROSA, MARCELO ; BARBOSA, MARCO A. C. ; TEIXEIRA, MARCELO . Service-based manufacturing systems: modelling and control. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH , v. 56, p. 1-14, 2018.

  • MUMBELLI, J. D. C. ; ROSA, M. ; SCHETTERT, P. B. ; TEIXEIRA, M. . Exploiting Formal Methods to Simplify the Modeling of Flexible Manufacturing Systems. Revista Junior de Iniciação Científica em Ciências Exatas e Engenharia , v. 14, p. 17-24-58, 2016.

  • ROSA, M. ; TEIXEIRA, M. ; MALIK, R. . Exploiting Approximations in Supervisory Control with Distinguishers. In: Workshop on Discrete Event Systems, 2018, Sorrento. Proceedings of the 14th Workshop on Discrete Event Systems, 2018.

  • ROSA, M. ; TEIXEIRA, M. ; MALIK, R. . Controle Supervisório de Sistemas a Eventos Discretos com Auto-aproximações. In: Congresso Brasileiro de Automática, 2018, João Pessoa. Proceedings of the Congresso Brasileiro de Automática, 2018.

  • ROSA, M. ; TEIXEIRA, M. ; DENARDIN, G. W. ; TORRICO, C. R. C. ; CURY, JOSÉ E.R. . Efficient Implementation of Distinguished Controllers for Discrete-Event Systems. In: 20th World Congress of the International Federation of Automatic Control, 2017, Toulouse. Proceedings of the 20th World Congress of the International Federation of Automatic Control (WC'2017), 2017.

  • MORAIS, W. B. ; ROSA, M. ; TEIXEIRA, M. ; BARBOSA, M. A. . O Problema do Caixeiro Viajante com Limite de Calado: uma Abordagem usando Simulated Annealing. In: XLIX Simpósio Brasileiro de Pesquisa Operacional, 2017, Blumenau-SC. XLIX Simpósio Brasileiro de Pesquisa Operacional, 2017.

  • BATISTUS, D. R. ; ROSA, M. ; AIOLFI, R. B. ; SOARES, A. B. ; LIMA, J. D. . Formulação de dieta de mínimo custo para a bovinocultura de leite: animais nos dois últimos meses de gestação. In: XXXV Encontro Nacional em Engenharia de Produção - ENEGEP, 2015, Fortaleza. Perspectivas globais para a engenharia de produção, 2015.

  • ROSA, M. ; TEIXEIRA, M. . Distinção de eventos aplicada a sistemas de manufatura. In: XXI Seminário de Iniciação Científica e Tecnológica da UTFPR, 2016, Francisco Beltrão. Modelos Analíticos e de Simulação, 2016.

Seção coletada automaticamente pelo Escavador

Outras produções

ROSA, M. . Curso de Cálculo I. 2013. (Curso de curta duração ministrado/Outra).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2016 - Atual

    Síntese de Controladores para Processos de Automação Discreta, Projeto certificado pelo(a) coordenador(a) Marcelo Teixeira em 09/04/2017., Descrição: Construir a fundamentação teórica e ferramentas para a síntese automática de controladores para Sistemas a Eventos Discretos. Ilustrar a abordagem por meio de sua aplicação em problemas industriais de grande porte. Generalizar e estender a abordagem a diferentes problemas inerentes ao de desenvolvimento de software. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (1) . , Integrantes: Marcelo Rosa - Integrante / Marcelo Teixeira - Coordenador / José Eduardo Ribeiro Cury - Integrante / Richardson Ribeiro - Integrante / Marco Barbosa - Integrante / ROBI MALIK - Integrante / Mainara Cristina Lorencena - Integrante / Lucas Schmidt - Integrante / André Luiz Marasca - Integrante / Muriel Mazzeto - Integrante.

  • 2013 - 2015

    Aplicação da programação linear para a formulação de rações para a bovinocultura de leite, Descrição: Desenvolvimento e implementação de uma ferramenta computacional que formule rações de mínimo custo para a bovinocultura de leite, utilizando programação linear. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Marcelo Rosa - Integrante / DAYSE REGINA BATISTUS - Coordenador / ANDRE BRUGNARA SOARES - Integrante / JOSE DONIZETTI DE LIMA - Integrante / Luiz Carlos Scheitt - Integrante / Gilberto Souto - Integrante.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Experiência profissional

  • 2016 - 2016

    Universidade Tecnológica Federal do Paraná

    Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 20

    Outras informações:
    Orientador: Marcelo Teixeira. Título do plano de trabalho: Tratamento da complexidade computacional inerente à síntese de controladores para sistemas industriais de grande porte.

  • 2014 - 2015

    Universidade Tecnológica Federal do Paraná

    Vínculo: Bolsista, Enquadramento Funcional: Monitor de Análise de Circuitos Elétricos I, Carga horária: 20

    Outras informações:
    Orientador: Jorge Luis Roel Ortiz

  • 2013 - 2015

    Universidade Tecnológica Federal do Paraná

    Vínculo: Voluntário, Enquadramento Funcional: Voluntário de Iniciação Científica, Carga horária: 20

    Outras informações:
    Orientadora: Dayse Regina Batistus. Título do plano de trabalho: Aplicação da Programação Linear para a formulação de rações para a bovinocultura de leite.

  • 2012 - 2012

    Datacoper Software Ltda

    Vínculo: , Enquadramento Funcional: Desenvolvedor de Sistemas Trainee, Carga horária: 40

    Outras informações:
    Ênfase na linguagem de programação Progress

  • 2011 - 2012

    Associação dos Servidores Públicos Municipais de Cascavel

    Vínculo: Celetista, Enquadramento Funcional: Assistente Administrativo, Carga horária: 40