| Summary: | === 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.
|
|---|
