Estudo e implementação de técnicas de controle de sistemas a eventos discretos em CLP: aplicação em um sistema flexível de manufatura didático

=== The production systems seek efficiency and reduction of costs to improve competitiveness in the market. In this way, automation exerts a fundamental role in the processes through coordination of the subsystems, in order that the individual operation and the overall operation of the system is gu...

Full description

Bibliographic Details
Main Author: Jonatham Silva Rezende
Other Authors: Carlos Andrey Maia
Format: Others
Language:Portuguese
Published: Universidade Federal de Minas Gerais 2012
Online Access:http://hdl.handle.net/1843/BUOS-98KJP8
id ndltd-IBICT-oai-bibliotecadigital.ufmg.br-MTD2BR-BUOS-98KJP8
record_format oai_dc
collection NDLTD
language Portuguese
format Others
sources NDLTD
description === The production systems seek efficiency and reduction of costs to improve competitiveness in the market. In this way, automation exerts a fundamental role in the processes through coordination of the subsystems, in order that the individual operation and the overall operation of the system is guaranteed. A set of equipment that perform various activities and transform raw materials into products can be called a manufacturing system. A manufacturing system considered a flexible manufacturing system (FMS) when it presents product flexibility, production routes and capacity of a machine to perform different jobs. The FMS demands speed in development and change in control logic. Usually, the control logic is implemented in a programmable logic controller (PLC) based on the experience of the programmer and empirically. However, there are formal methods to implement control logic in a PLC as Supervisory Control Theory (SCT) based on Automata and Petri Nets via Place Invariants. The structure of SCT has a plant that reflects the behavior physically possible of the system and a supervisor that performs a restrictive control action on the plant in a way to confine its behavior to that corresponding a given specification. The Languages and Automata Theory is the basis for modeling the plant and control specifications for the synthesis of supervisors that are obtained by Local Modular Control. The Petri Net (PN) is the basis for the Place Invariants that synthesize a supervisor able to restrict the operations of the plant modeled as a PN according to security restrictions. This work proposes the study and evaluation of three methods of implementation in a PLC of SCT based on Automata and one implementation methodology in a PLC of SCT based on Petri Nets via Place Invariants with the objective of practical implementation and automation of a flexible manufacturing system didactic built in the Laboratório de Análise e Controle de Sistemas a Eventos Discretos (LACSED) at UFMG. A comparative analysis between the four methods is presented and it is not intended to indicate the best methodology, but establish the advantages and disadvantages of each method of implementation in the PLC to promote knowledge and dissemination of the application of these methodologies. === Os sistemas de produção buscam eficiêencia e redução dos custos para melhorar a competitividade no mercado. Desta forma, a automação exerce papel fundamental nos processos por meio da coordenação dos subsistemas, a fim de que as operações individuais e o funcionamento global do sistema sejam garantidos. Um conjunto de equipamentos que exerce diversas atividades e transforma matéria-prima em produto pode ser chamado de sistema de manufatura. Considera-se como um sistema flexível de manufatura (SFM), quando apresenta flexibilidade de produtos, rotas de produção e a capacidade de uma máquina em executar trabalhos diferentes. O SFM demanda rapidez no desenvolvimento e alteração na lógica de controle. Usualmente, a lógica de controle é implementada em um controlador lógico programável (CLP) baseada na experiência do programador e de forma empírica. Entretanto, existem métodos formais para implementar a lógica de controle em CLP como a Teoria de Controle Supervisório (TCS) baseada nos Autômatos e nas Redes de Petri via Invariantes de Lugar. A estrutura da TCS possui a planta que reflete o comportamento fisicamente possível do sistema e o supervisor que exerce uma ação de controle restritiva sobre a mesma para confinar seu comportamento àquele que corresponde a uma dada especificação. A Teoria de Linguagens e Autômatos é a base para a modelagem da planta e das especificações de controle para a síntese dos supervisores que são obtidos pelo Controle Modular Local. A Rede de Petri (RP) é a base para os Invariantes de Lugar que sintetizam um supervisor capaz de restringir as operações da planta modelada como uma RP de acordo com as restrições de segurança. Este trabalho propõe o estudo e avaliação de três metodologias de implementação em CLP da TCS baseada nos Autômatos e uma metodologia de implementação em CLP da TCS baseada nas Redes de Petri via Invariantes de Lugar com o objetivo de implementação prática e automação de um sistema flexível de manufatura didático construído no Laboratório de Análise e Controle de Sistemas a Eventos Discretos (LACSED) da UFMG. Uma análise comparativa entre as quatro metodologias é apresentada e não tem como objetivo indicar a melhor metodologia, mas estabelecer as vantagens e desvantagens das metodologias de implementação em CLP para promoverem o conhecimento e a disseminação da aplicação dessas metodologias.
author2 Carlos Andrey Maia
author_facet Carlos Andrey Maia
Jonatham Silva Rezende
author Jonatham Silva Rezende
spellingShingle Jonatham Silva Rezende
Estudo e implementação de técnicas de controle de sistemas a eventos discretos em CLP: aplicação em um sistema flexível de manufatura didático
author_sort Jonatham Silva Rezende
title Estudo e implementação de técnicas de controle de sistemas a eventos discretos em CLP: aplicação em um sistema flexível de manufatura didático
title_short Estudo e implementação de técnicas de controle de sistemas a eventos discretos em CLP: aplicação em um sistema flexível de manufatura didático
title_full Estudo e implementação de técnicas de controle de sistemas a eventos discretos em CLP: aplicação em um sistema flexível de manufatura didático
title_fullStr Estudo e implementação de técnicas de controle de sistemas a eventos discretos em CLP: aplicação em um sistema flexível de manufatura didático
title_full_unstemmed Estudo e implementação de técnicas de controle de sistemas a eventos discretos em CLP: aplicação em um sistema flexível de manufatura didático
title_sort estudo e implementação de técnicas de controle de sistemas a eventos discretos em clp: aplicação em um sistema flexível de manufatura didático
publisher Universidade Federal de Minas Gerais
publishDate 2012
url http://hdl.handle.net/1843/BUOS-98KJP8
work_keys_str_mv AT jonathamsilvarezende estudoeimplementacaodetecnicasdecontroledesistemasaeventosdiscretosemclpaplicacaoemumsistemaflexiveldemanufaturadidatico
_version_ 1718846848619249664
spelling ndltd-IBICT-oai-bibliotecadigital.ufmg.br-MTD2BR-BUOS-98KJP82019-01-21T18:06:58Z Estudo e implementação de técnicas de controle de sistemas a eventos discretos em CLP: aplicação em um sistema flexível de manufatura didático Jonatham Silva Rezende Carlos Andrey Maia Patricia Nascimento Pena Patricia Nascimento Pena Agnelo Denis Vieira Carmela Maria Polito Braga The production systems seek efficiency and reduction of costs to improve competitiveness in the market. In this way, automation exerts a fundamental role in the processes through coordination of the subsystems, in order that the individual operation and the overall operation of the system is guaranteed. A set of equipment that perform various activities and transform raw materials into products can be called a manufacturing system. A manufacturing system considered a flexible manufacturing system (FMS) when it presents product flexibility, production routes and capacity of a machine to perform different jobs. The FMS demands speed in development and change in control logic. Usually, the control logic is implemented in a programmable logic controller (PLC) based on the experience of the programmer and empirically. However, there are formal methods to implement control logic in a PLC as Supervisory Control Theory (SCT) based on Automata and Petri Nets via Place Invariants. The structure of SCT has a plant that reflects the behavior physically possible of the system and a supervisor that performs a restrictive control action on the plant in a way to confine its behavior to that corresponding a given specification. The Languages and Automata Theory is the basis for modeling the plant and control specifications for the synthesis of supervisors that are obtained by Local Modular Control. The Petri Net (PN) is the basis for the Place Invariants that synthesize a supervisor able to restrict the operations of the plant modeled as a PN according to security restrictions. This work proposes the study and evaluation of three methods of implementation in a PLC of SCT based on Automata and one implementation methodology in a PLC of SCT based on Petri Nets via Place Invariants with the objective of practical implementation and automation of a flexible manufacturing system didactic built in the Laboratório de Análise e Controle de Sistemas a Eventos Discretos (LACSED) at UFMG. A comparative analysis between the four methods is presented and it is not intended to indicate the best methodology, but establish the advantages and disadvantages of each method of implementation in the PLC to promote knowledge and dissemination of the application of these methodologies. Os sistemas de produção buscam eficiêencia e redução dos custos para melhorar a competitividade no mercado. Desta forma, a automação exerce papel fundamental nos processos por meio da coordenação dos subsistemas, a fim de que as operações individuais e o funcionamento global do sistema sejam garantidos. Um conjunto de equipamentos que exerce diversas atividades e transforma matéria-prima em produto pode ser chamado de sistema de manufatura. Considera-se como um sistema flexível de manufatura (SFM), quando apresenta flexibilidade de produtos, rotas de produção e a capacidade de uma máquina em executar trabalhos diferentes. O SFM demanda rapidez no desenvolvimento e alteração na lógica de controle. Usualmente, a lógica de controle é implementada em um controlador lógico programável (CLP) baseada na experiência do programador e de forma empírica. Entretanto, existem métodos formais para implementar a lógica de controle em CLP como a Teoria de Controle Supervisório (TCS) baseada nos Autômatos e nas Redes de Petri via Invariantes de Lugar. A estrutura da TCS possui a planta que reflete o comportamento fisicamente possível do sistema e o supervisor que exerce uma ação de controle restritiva sobre a mesma para confinar seu comportamento àquele que corresponde a uma dada especificação. A Teoria de Linguagens e Autômatos é a base para a modelagem da planta e das especificações de controle para a síntese dos supervisores que são obtidos pelo Controle Modular Local. A Rede de Petri (RP) é a base para os Invariantes de Lugar que sintetizam um supervisor capaz de restringir as operações da planta modelada como uma RP de acordo com as restrições de segurança. Este trabalho propõe o estudo e avaliação de três metodologias de implementação em CLP da TCS baseada nos Autômatos e uma metodologia de implementação em CLP da TCS baseada nas Redes de Petri via Invariantes de Lugar com o objetivo de implementação prática e automação de um sistema flexível de manufatura didático construído no Laboratório de Análise e Controle de Sistemas a Eventos Discretos (LACSED) da UFMG. Uma análise comparativa entre as quatro metodologias é apresentada e não tem como objetivo indicar a melhor metodologia, mas estabelecer as vantagens e desvantagens das metodologias de implementação em CLP para promoverem o conhecimento e a disseminação da aplicação dessas metodologias. 2012-08-02 info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/masterThesis http://hdl.handle.net/1843/BUOS-98KJP8 por info:eu-repo/semantics/openAccess text/html Universidade Federal de Minas Gerais 32001010015P8 - ENGENHARIA ELÉTRICA UFMG BR reponame:Biblioteca Digital de Teses e Dissertações da UFMG instname:Universidade Federal de Minas Gerais instacron:UFMG