Evangivaldo Almeida Lima

Idiomas

Áreas de atuação

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• LIMA, E. A. ; Lüders, Ricardo ; Künzle, Luis Allan . Uma abordagem intervalar para a caracterização de intervalos de disparo em redes de Petri temporais. SBA. Sociedade Brasileira de Automática , v. 19, p. 379, 2008.

• LIMA, E. A. ; DOREA, C. E. T. . Controle Supervisório de Sistemas a Eventos Discretos com Aplicação e Sistemas de Manufatura. Revista C & I. Controle & Instrumentação , v. 62, p. 82-91, 2002.

• SOUZA, M. B. ; LIMA, E. A. ; CERQUIRA, J. . Proceedings of the 13th International Conference on Informatics in Control, Automation and Robotics. A PETRI NET FOR MODELLING AND CONTROL OF POWER SYSTEMS, p. 477, 19 jul. 2016.

• Bolzanni, A. ; LIMA, E. A. . Modelagem, Análise e Implementacao em CLP de SEDs Utilizando Redes de Petri. In: Escola Regional de Computação Bahia, Alagoas e Sergipe (ERBASE), 2013, ARACAJU. A Escola Regional de Computação Bahia, Alagoas e Sergipe (ERBASE), 2013.

• Bolzanni, A. ; LIMA, E. A. . APROXIMAÇÕES INTERVALARES PARA ESTIMAÇÃO DE TEMPOS EM REDES DE PETRI TEMPORAIS. In: XI SIMPOIO BRASILEIRO DE AUTOMAÇÃO INTELIGENTE - XI SBAI, 2013, FORTALEZA. XI SIMPOIO BRASILEIRO DE AUTOMAÇÃO INTELIGENTE - XI SBAI, 2013.

• BARCELOS, R. G. ; LIMA, E. A. . MODELAGEM, ANÁLISE E CONTROLE DE UMA PLANTA INDUSTRIAL DIDÁTICA USANDO REDES DE PETRI. In: XVI JORNADA CIENTIFICA DA UNEB, 2012, SALVADOR. XVI JORNADA CIENTIFICA DA UNEB, 2012.

• JESUS, J. T. N. ; LIMA, E. A. . XVI JORNADA DE INICIAÇÃO CIENTÍFICA. In: JORNADA DE INICIAÇÃO CIENTÍFICA, 2012, SALVADOR. XVI JORNADA DE INICIAÇÃO CIENTÍFICA, 2012.

• LIMA, E. A. ; Luders, R. ; KUNZLE, L. A. . Uma Abordagem Unificada para Geração de Grafos de Classes de Estados em Redes de Petri Temporais. In: VIII SBAI - Simpósio Brasileiro de Automação Inteligente, 2007, Florianópolis. VIII SBAI - Simpósio Brasileiro de Automação Inteligente, 2007.

• Nacib Mattar Júnior ; KUNZLE, L. A. ; Fabiano Silva ; Marcos Castilho ; LIMA, E. A. . Análise da Duração de Seqüências de Disparos de Transições em Redes de Petri Temporais. In: SBAI - Simpósio Brasileiro de Automação Inteligente, 2007, Florianópolis. VIII SBAI - Simpósio Brasileiro de Automação Inteligente, 2007.

• LIMA, E. A. ; Luders, R. ; KUNZLE, L. A. . Análise de Redes de Petri Temporais Usando Álgebra Intervalar. In: XVI Congresso Brasileiro de Automática, 2006, Salvador. XVI Congresso Brasileiro de Automática, 2006.

• LIMA, E. A. ; Luders, R. ; KUNZLE, L. A. . Interval Analysis of Time Petri Nets. In: 4th CESA Multiconference 4th CESA Multiconference on, 2006, Beijing. 4th CESA Multiconference 4th CESA Multiconference on, 2006.

• KUNZLE, E. ; LIMA, E. A. ; KUNZLE, L. A. . Global Time Petri Net Analiser. In: 2nd International Conference on the Quantitative Evalution of Systems, 2005, Torino. The International Conference on Modeling Techniques and Tools for Computer Performance Evaluation, 2005.

• LIMA, E. A. ; Luders, R. ; KUNZLE, L. A. . Análise de Redes de Petri Temporais Usando Tempo Global. In: VII Congresso Brasileiro de Automação Inteligente, 2005, São Luis. VII Congresso Brasileiro de Automação Inteligente, 2005.

• SCHASTAI, V. ; LIMA, E. A. ; KUNZLE, L. A. . Sequence analysis for time Petri nets. In: 7th Workshop on Discrete Event Systems, 2004, Reims. 7th Workshop on Discrete Event Systems, 2004.

• LIMA, E. A. ; DOREA, C. E. T. . An Algorithm for Supervisory Control of Discrete Event Systems via Place Invariants. In: International Federation of Automatic Control - IFAC, 2002, Barcelona. IFAC 2002, 2002.

• LIMA, E. A. ; DOREA, C. E. T. . Um Algoritmo para Controle Supervisorio de Sistemas a Eventos Discretos via Invariantes de Lugar. In: Simposio Brasileiro de Automacao Inteligente, 2001, Canela. Um Algoritmo para Controle Supervisorio de Sistemas a Eventos Discretos via Invariantes de Lugar, 2001.

• LIMA, E. A. ; DOREA, C. E. T. . Controle de Sistemas a Eventos Discretos com Aplicações em Sistemas de Manufatura. In: II Seminário Nacional de Controle e Automação, 2001, Salvador. Revista Instrumentação e Controle, 2001.

• SOUZA, M. B. ; Lima, Evangivaldo A. ; CERQUIRA, J. . Electric Power System Operation: A Technique to Modelling, Monitoring and Control via Petri Nets. 2024. (Apresentação de Trabalho/Congresso).

• LIMA, E. A. ; Bolzanni, A. ; OLIVEIRA, P. J. . APROXIMAÇÕES INTERVALARES PARA ESTIMAÇÃO DE TEMPOS EM REDES DE PETRI TEMPORAIS. 2013. (Apresentação de Trabalho/Simpósio).

Projetos de pesquisa

• 2020 - Atual

  Aplicação das Redes de Petri a um SEP, Descrição: APLICAÇÕES. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (1) . , Integrantes: Evangivaldo Almeida Lima - Coordenador / Artus Bolzanni - Integrante / Antonio Luiz de Almeida - Integrante / PAULO JAMES OLIVEIRA - Integrante / MILTON BASTOS DE SOUZA - Integrante.

• 2011 - 2012

  Modelagem de uma Planta Industrial Didática. Usando Redes de Petri Coloridas, Descrição: Neste projeto é apresentada uma proposta de pesquisa que visa desenvolver uma a modelagem, análise e controle de uma planta industrial didática, que é um tipo sistemas a eventos discretos, usando as redes de Petri coloridas como ferramenta formal. Usando recursos de programação orientada a objeto, álgebra linear, programação linear inteira e redes de Petri Coloridas, pretende-se desenvolver uma metodologia para modelagem, análise e controle da planta. A planta representa uma pequena unidade industrial automatizada e é composta de uma unidade de transporte de peças, uma unidade robótica, uma unidade de operação nas peças e uma unidade de inspeção. Usando redes de Petri coloridas como ferramenta formal, pretende-se desenvolver uma metodologia para especificar controladores que servirão de elementos responsáveis pela automatização da planta.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Doutorado: (1) . , Integrantes: Evangivaldo Almeida Lima - Coordenador / Renan Gomes Barcelos - Integrante., Financiador(es): Universidade do Estado da Bahia - Bolsa.

• 2011 - 2012

  Programação em Controlador Lógico Programável (CLP), para controle de uma planta industrial didática, Descrição: Neste projeto é apresentada uma proposta de pesquisa que visa projetar um programa de controle para uma planta industrial didática e implementá-lo usando um controlador lógico programável, utilizando Ladder como linguagem para a implementação bem como a modelagem feita em Rede de Petri.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Doutorado: (1) . , Integrantes: Evangivaldo Almeida Lima - Coordenador / Jéssica Teixeira Nogueira de Jesus - Integrante.

• 2007 - Atual

  Projeto e Análise de Controle Supervisório de Sistemas a Eventos Discretos Usando Redes de Petri Temporais, Descrição: : Neste projeto é apresentada uma proposta de pesquisa que visa desenvolver uma metodologia para análise e controle de sistemas a eventos discretos usando as redes de Petri temporais como ferramenta para modelagem do sistema e das especificações. Usando recursos de álgebra linear, programação linear inteira e álgebra intervalar pretendemos desenvolver algoritmos para síntese de controle de sistemas a eventos discretos temporizados e que atendam aos requisitos da teoria de controle supervisório.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Evangivaldo Almeida Lima - Coordenador.

• 2007 - Atual

  Modelagem, Análise e Controle de Sistemas a Eventos Discretos Usando Redes de Petri Temporais, Descrição: Neste projeto é apresentada uma proposta de pesquisa que visa desenvolver metodologias para análise e controle de sistemas a eventos discretos usando as redes de Petri temporais como ferramenta para modelagem do sistema e das especificações. Usando recursos de álgebra linear, programação linear inteira e álgebra intervalar pretendemos desenvolver métodos de análises temporal, técnicas de redução de redes temporais e algoritmos para síntese de controle de sistemas a eventos discretos temporizados e que atendam aos requisitos da teoria de controle supervisório.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Evangivaldo Almeida Lima - Coordenador / Carlos Eduardo Trabuco Dorea - Integrante / Artus Bolzanni - Integrante.

Projetos de desenvolvimento

• 2011 - Atual

  Diagnóstico de Falhas em Sistemas de Potencia Usando Redes de Petri, Descrição: Desenvolver técnicas de detcção e identificação de falhas em sistemas elétricos de potencia modelados com redes de Petri.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Evangivaldo Almeida Lima - Coordenador.

• 2008 - 2011

  Uma Ferramenta Computacional para Modelagem, Análise e Controle de Sistemas a Eventos Discretos Usando Redes de Petri Temporais, Descrição: Os sistemas a eventos discretos são sistemas dinâmicos cujas características não permitem que sejam modelados por ferramentas tradicionais, tais como equações diferenciais. Neste projeto é apresentada uma proposta de pesquisa que visa desenvolver uma ferramenta computacional para modelagem, análise e controle de sistemas a eventos discretos usando as redes de Petri. Usando recursos de programação orientada a objeto, álgebra linear, programação linear inteira e álgebra intervalar pretende-se desenvolver um software que permita simular a dinâmica dos sistemas modelados, extrair informações temporais, aplicar técnicas de redução de redes temporais e algoritmos para síntese que atendam aos requisitos da teoria de controle supervisório. Neste projeto estão envolvidos um professor pesquisador e dois alunos de iniciação científica. . , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Evangivaldo Almeida Lima - Coordenador / Paulo James Oliveira - Integrante.

• 2011 - Atual

  Diagnóstico de Falhas em Sistemas de Potencia Usando Redes de Petri, Descrição: Desenvolver técnicas de detcção e identificação de falhas em sistemas elétricos de potencia modelados com redes de Petri.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Evangivaldo Almeida Lima - Coordenador.

• 2008 - 2011

  Uma Ferramenta Computacional para Modelagem, Análise e Controle de Sistemas a Eventos Discretos Usando Redes de Petri Temporais, Descrição: Os sistemas a eventos discretos são sistemas dinâmicos cujas características não permitem que sejam modelados por ferramentas tradicionais, tais como equações diferenciais. Neste projeto é apresentada uma proposta de pesquisa que visa desenvolver uma ferramenta computacional para modelagem, análise e controle de sistemas a eventos discretos usando as redes de Petri. Usando recursos de programação orientada a objeto, álgebra linear, programação linear inteira e álgebra intervalar pretende-se desenvolver um software que permita simular a dinâmica dos sistemas modelados, extrair informações temporais, aplicar técnicas de redução de redes temporais e algoritmos para síntese que atendam aos requisitos da teoria de controle supervisório. Neste projeto estão envolvidos um professor pesquisador e dois alunos de iniciação científica. . , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Evangivaldo Almeida Lima - Coordenador / Paulo James Oliveira - Integrante.

• 2011 - Atual

  Diagnóstico de Falhas em Sistemas de Potencia Usando Redes de Petri, Descrição: Desenvolver técnicas de detcção e identificação de falhas em sistemas elétricos de potencia modelados com redes de Petri.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Evangivaldo Almeida Lima - Coordenador.

• 2008 - 2011

  Uma Ferramenta Computacional para Modelagem, Análise e Controle de Sistemas a Eventos Discretos Usando Redes de Petri Temporais, Descrição: Os sistemas a eventos discretos são sistemas dinâmicos cujas características não permitem que sejam modelados por ferramentas tradicionais, tais como equações diferenciais. Neste projeto é apresentada uma proposta de pesquisa que visa desenvolver uma ferramenta computacional para modelagem, análise e controle de sistemas a eventos discretos usando as redes de Petri. Usando recursos de programação orientada a objeto, álgebra linear, programação linear inteira e álgebra intervalar pretende-se desenvolver um software que permita simular a dinâmica dos sistemas modelados, extrair informações temporais, aplicar técnicas de redução de redes temporais e algoritmos para síntese que atendam aos requisitos da teoria de controle supervisório. Neste projeto estão envolvidos um professor pesquisador e dois alunos de iniciação científica. . , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Evangivaldo Almeida Lima - Coordenador / Paulo James Oliveira - Integrante.

• 2011 - Atual

  Diagnóstico de Falhas em Sistemas de Potencia Usando Redes de Petri, Descrição: Desenvolver técnicas de detcção e identificação de falhas em sistemas elétricos de potencia modelados com redes de Petri.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Evangivaldo Almeida Lima - Coordenador.

• 2008 - 2011

  Uma Ferramenta Computacional para Modelagem, Análise e Controle de Sistemas a Eventos Discretos Usando Redes de Petri Temporais, Descrição: Os sistemas a eventos discretos são sistemas dinâmicos cujas características não permitem que sejam modelados por ferramentas tradicionais, tais como equações diferenciais. Neste projeto é apresentada uma proposta de pesquisa que visa desenvolver uma ferramenta computacional para modelagem, análise e controle de sistemas a eventos discretos usando as redes de Petri. Usando recursos de programação orientada a objeto, álgebra linear, programação linear inteira e álgebra intervalar pretende-se desenvolver um software que permita simular a dinâmica dos sistemas modelados, extrair informações temporais, aplicar técnicas de redução de redes temporais e algoritmos para síntese que atendam aos requisitos da teoria de controle supervisório. Neste projeto estão envolvidos um professor pesquisador e dois alunos de iniciação científica.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Evangivaldo Almeida Lima - Coordenador / Paulo James Oliveira - Integrante.

• 2011 - Atual

  Diagnóstico de Falhas em Sistemas de Potencia Usando Redes de Petri, Descrição: Desenvolver técnicas de detcção e identificação de falhas em sistemas elétricos de potencia modelados com redes de Petri.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Evangivaldo Almeida Lima - Coordenador.

• 2008 - 2011

  Uma Ferramenta Computacional para Modelagem, Análise e Controle de Sistemas a Eventos Discretos Usando Redes de Petri Temporais, Descrição: Os sistemas a eventos discretos são sistemas dinâmicos cujas características não permitem que sejam modelados por ferramentas tradicionais, tais como equações diferenciais. Neste projeto é apresentada uma proposta de pesquisa que visa desenvolver uma ferramenta computacional para modelagem, análise e controle de sistemas a eventos discretos usando as redes de Petri. Usando recursos de programação orientada a objeto, álgebra linear, programação linear inteira e álgebra intervalar pretende-se desenvolver um software que permita simular a dinâmica dos sistemas modelados, extrair informações temporais, aplicar técnicas de redução de redes temporais e algoritmos para síntese que atendam aos requisitos da teoria de controle supervisório. Neste projeto estão envolvidos um professor pesquisador e dois alunos de iniciação científica.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Evangivaldo Almeida Lima - Coordenador / Paulo James Oliveira - Integrante.