Metodologia de projeto de automação industrial visando a conversão automática de redes de petri interpretadas em códigos implementáveis

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorVallim, Marcos Banheti Rabello-
Autor(es): dc.creatorSilva, Hugo Vinicius Dias-
Data de aceite: dc.date.accessioned2025-08-29T11:44:18Z-
Data de disponibilização: dc.date.available2025-08-29T11:44:18Z-
Data de envio: dc.date.issued2014-04-07-
Data de envio: dc.date.issued2014-04-07-
Data de envio: dc.date.issued2013-04-08-
Fonte completa do material: dc.identifierhttp://repositorio.utfpr.edu.br/jspui/handle/1/780-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/1082327-
Descrição: dc.descriptionThe objective of this work is to present a proposed methodology for the development of industrial automation projects by aggregating the advantages of using formalisms for representing Discrete Event Systems with the need to implement algorithms considered in industrial control equipment. This methodology proposes a set of steps for the construction of the control algorithm, based on Interpreted Petri Net used to represent the plant to be controlled and the control logic. Through this method it is possible to control an industrial automation system ensuring that the control logic contains no errors when executed. The use of the methodology was exemplified by automating two study cases, where the former is used to detail the steps in the methodology, and the second presents a practical function with more complex specification, corroborating the use of formal methods to ensure the correctness of the process logic. In order to demonstrate the independence of the methodology regarding to the technology used to control such processes, algorithms resulting from the application of the methodology were implemented in PLC and FPGA, and the use of control equipment with parallel features shows a trend of industrial automation projects.-
Descrição: dc.descriptionCAPES-
Descrição: dc.descriptionO objetivo deste trabalho é apresentar uma proposta de metodologia para o desenvolvimento de projetos de automação industrial com vistas a agregar as vantagens da utilização dos formalismos para representação dos Sistemas a Eventos Discretos com a necessidade de implementar os algoritmos utilizados em equipamentos de controle industrial. Tal metodologia propõe um conjunto de etapas para a construção do algoritmo de controle, baseando-se na Rede de Petri Interpretada utilizada para representação da planta controlada e da lógica de controle. Através desta metodologia é possível realizar o controle de um sistema de automação industrial garantindo que a lógica de controle não possua erros quando for executada. A utilização da metodologia foi exemplificada aplicado-a ao projeto de automação de dois casos práticos, onde o primeiro caso é utilizado para detalhar as etapas contidas na metodologia, já o segundo projeto prático possui uma especificação de funcionamento mais complexa, corroborando a utilização dos métodos formais para garantir a corretude lógica do processo. Buscando evidenciar a independência da metodologia frente à tecnologia utilizada para controlar tais processos, os algoritmos resultantes da execução da metodologia foram implementados em CLP e FPGA, sendo que a utilização de equipamentos de controle com características paralelas aponta uma tendência dos projetos de automação industrial.-
Formato: dc.formatapplication/pdf-
Idioma: dc.languagept_BR-
Publicador: dc.publisherUniversidade Tecnológica Federal do Paraná-
Publicador: dc.publisherCornelio Procopio-
Publicador: dc.publisherPrograma de Pós-Graduação em Engenharia Elétrica-
Palavras-chave: dc.subjectSistemas não-lineares-
Palavras-chave: dc.subjectPetri, redes de-
Palavras-chave: dc.subjectNonlinear systems-
Palavras-chave: dc.subjectPetri nets-
Título: dc.titleMetodologia de projeto de automação industrial visando a conversão automática de redes de petri interpretadas em códigos implementáveis-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositorio Institucional da UTFPR - RIUT

Não existem arquivos associados a este item.