Made available in DSpace on 2016-06-02T19:05:50Z (GMT). No. of bitstreams: 1 3678.pdf: 5394148 bytes, checksum: 4abd3e7ce4acac9d5890eae3620c06d3 (MD5) Previous issue date: 2011-06-14 / Financiadora de Estudos e Projetos / In recent years, most companies apply techniques of industrial automation with the goal of increasing its efficiency. Increasingly Automated Guided Vehicles (AGVs) are used to transport work in factories and warehouses. The management of these AGV is the key to an efficient transport system. One of the main problems encountered in the management of AGV is the dispatching decision. This work proposes a method of dispatching of AGV with the ability to optimize the performance of flexible manufacturing systems (FMS) in real time. In the dispatching deciding can be chosen to optimize two objectives: makespan or tardiness. When the goal is to optimize the makespan are evaluated variables: distance, number of nodes, the input buffer and output buffer of the workstation. When the goal is to optimize the tardiness are evaluated variables: distance, number of nodes, task chaining, date of delivery. In both cases are also considered the time of the AGVs and the processing times of the workstations, so you can anticipate some decision-making. To perform the tests we used the softwares: Matlab, CPNtools and Automod, which allow simulations of how the method works dispatching AGVs before the method is implemented in factories. Based on the tests, we analyzed the improvement in makespan and tardiness compared to other studies, but also the flexibility of the method in which it is possible to exchange goals in operating time. / Nos últimos anos, mais empresas aplicam técnicas de automação industrial com o objetivo de aumentar sua eficiência. Cada vez mais Veículos Auto Guiados (AGVs) são usados para tarefa de transporte em indústrias e armazéns. O gerenciamento desses AGVs é a chave para um sistema de transporte eficiente. Um dos principais problemas encontrados no gerenciamento dos AGVs é a decisão de despacho. Esse trabalho propõe um método de despacho de AGV com capacidade de otimizar o desempenho de Sistemas Flexíveis de Manufatura (FMS) em tempo real. Na tomada de decisão do despacho podem ser escolhidos dois objetivos para otimização: makespan ou tardiness. Quando o objetivo é otimizar o makespan são avaliadas as variáveis: distância, número de nós, buffer de entrada e buffer de saída das estações de trabalho. Quando o objetivo é otimizar o tardiness são avaliadas as variáveis: distância, número de nós, encadeamento de tarefas, data de entrega do produto. Em ambos os casos também são considerados os tempos dos AGVs e os tempos de processamento das estações de trabalho, para que seja possível adiantar algumas tomadas de decisões. Para realizar os testes foram usados os softwares MatLab, CPNtools e Automod, os quais permitem que simulações do funcionamento do método de despacho de AGVs antes que o método seja implementado em fábricas. Com base nos testes realizados, analisou-se as melhoras no makespan e tardiness em comparação com outros trabalhos, como também a flexibilidade do método no qual é possível a troca de objetivos em tempo de operação.

O objeto de estudo deste trabalho é a construção de modelos que permitam a estruturação do projeto do controle de sistemas flexíveis de manufatura que considerem não somente estados de operação normal, mas também estados anormais, isto é, em situações de falhas. Entende-se como falha o desvio de pelo menos uma propriedade do sistema que leva o mesmo a um estado de defeito, que por sua vez se define como um comportamento incomum, não projetado, do sistema sob estudo, que finalmente é manifestado como um defeito. Sistemas flexíveis de manufatura são sistemas que executam múltiplos processos visando à produção de diversos bens. O processo é um conjunto de ações de transformação que por sua parte requerem um conjunto de recursos que são compartilhados por outros processos simultaneamente. Sistemas flexíveis de manufatura envolvem um número relativamente grande de componentes, máquinas, equipamentos e operadores humanos, que interagem de maneira diversificada manipulando um grande conjunto de informação e diferentes materiais em ambientes que podem até ser agressivos. Independentemente de qualquer programa de manutenção, falhas são eventos que são possíveis de acontecer em qualquer sistema de tal natureza. Num ambiente ideal, o funcionamento de todos os componentes poderia ser monitorado com o objetivo de detectar as falhas prematuras, mas devido ao custo envolvido, isso se torna inviável. Neste sentido surge o desafio de detectar as falhas a partir da observação do contexto do funcionamento do processo, mediante a monitoração de alguns parâmetros, em geral de fácil acesso, e tomando em consideração manifestações (sintomas) das falhas de um ponto de vista qualitativo. O presente trabalho propõe a utilização de redes Bayesianas para o diagnóstico de falhas em sistemas flexíveis de manufatura. As redes Bayesianas constituem uma ferramenta útil para a representação das relações que existem entre as causas (componentes em estado de falha) e os sintomas (observações anormais do processo). A partir deste modelo, inferências podem ser feitas para o diagnóstico do sistema.Por outro lado, nos últimos anos a rede de Petri tem sido utilizada exitosamente na representação dos aspectos de controle de sistemas produtivos e particularmente de sistemas de manufatura e, desta forma, considera-se aqui tal ferramenta para a modelagem do sistema não só em condições normais de funcionamento como também para a representação do tratamento de falhas, no contexto de um sistema tolerante a anomalias do processo. Especial ênfase é dada à estruturação de uma metodologia que permita a concepção de um procedimento eficaz para a construção de modelos de controle. / The objective of the present work is the construction of models proper for the easy implementation of flexible manufacturing control systems able to handle not only with normal behavioral conditions, but with abnormal (or faulty) behavior as well. A fault is defined as a deviation of at least one system property that drives the system into an error state. An error is defined as an uncommon behavior, not expected from the system functionalities. Flexible manufacturing systems are systems that execute multiple processes for the production of several items in several ways. A process is a sequence of certain transformation tasks that require a set of resources shared simultaneously by multiple processes. In this sense, flexible manufacturing systems are constituted of a relatively great number of devices, machines, equipments and human operators that work together manipulating great quantities of information and materials. This work is usually performed in aggressive environments. So, independent of any maintenance program, faults are events that cannot be totally avoided. In an ideal environment, the monitoring of all components is the way to avoid faults. Nevertheless, due to the cost involved, this is an impossible task. In this context, there is a challenge to properly detect faults from the observation of the systems context, through the monitoring and observation of some parameters in general easy to access, including also qualitative information from operators. In the present work, it is proposed the use of Bayesian networks for the fault diagnosis in flexible manufacturing systems. Bayesian networks constitute a useful tool for the modeling of the causal relation between the causes (faulty components) and the symptoms (manifestations). Based on this model, inference can be done for the system diagnosis task. Additionally, in the last years Petri net has been successfully used for the modeling of control systems of productive systems and particularly, manufacturing control systems. In this work, beyond the use of Petri net for the modeling of normal situations of the system, Petri net is used for the modeling of the fault treatment techniques. This drives the system tolerance to faults. Especial emphasis is laid into methodological issues that allows for the structuration of a systematic procedure proper for the modeling and construction of control systems.

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2007 / Bibliografia: f. 60-64 / Este trabalho apresenta uma proposta de uma arquitetura híbrida de controle para sistemas flexíveis de manufatura. Essa arquitetura é baseada em dois formalismos: a Teoria de Controle Supervisório e as Redes de Petri Coloridas. A Teoria de Controle Superv / Abstract: This paper presents a hybrid control approach for flexible manufacturing systems. The architecture is based on two formalisms: Supervisory Control Theory and Colored Petri Nets. Supervisory Control Theory and one of its extensions, the local mod

Made available in DSpace on 2016-06-02T19:05:17Z (GMT). No. of bitstreams: 1 DissRWCM.pdf: 3820933 bytes, checksum: 0defe423c2e4d7d5969558fc1677062d (MD5) Previous issue date: 2005-08-26 / In order to attend the market quickly, a company need to have flexibility and to change its production line, to assist to the production of personalized products, to change the raw material or, even, the conception of the product like in an automatic system of manufacture. Administration of processes, industrial automation and IT (Information Technology) are essential to guarantee not only the companies, competitiveness but their survival inside of this scenery. The larger interest among the automatic systems of manufacture in this work is the flexible manufacture system (FMS), for its inclusion and complexity and, consequently, its control and the variety of architectures, as the centralized, the hierarchical, the heterarchical, the hybrid and, finally the multi - agent, therefore the main focus of this work will be the control system of a FMS. So one of the architecture alternatives, is the proposal using a system of hybrid control, because it allows the communication among levels, by sidelong, and the modules involved in the production process and factory ground control, so it will be possible, to determine which are the instances or moments so of decision, describing the used functions, as well as the treated information. To make possible the modeling modules are used: manager, selective and movement controller facilitating the construction of a structured algorithm aiming at the detail of the process mapping of communication about the actions unchained in the factory ground. / Para uma empresa responder mais rapidamente ao mercado, é importante ter flexibilidade e poder mudar sua linha de produção facilmente, para atender à fabricação de produtos personalizados, alterar a matéria-prima ou, até mesmo, a concepção do produto como em um sistema automático de manufatura. Gerenciamento de processos, automação industrial e TI (Tecnologia da Informação) são essenciais para garantir não somente competitividade das empresas, mas sua sobrevivência dentro deste cenário. Dentre os sistemas automáticos de manufatura que têm sido abordados, o de maior interesse para o escopo deste trabalho é o sistema flexível de manufatura (FMS), por sua abrangência e complexidade e, conseqüentemente, seu controle. Há uma variedade de arquiteturas de controle, como a centralizada, a hierárquica, a heterárquica, a híbrida e, finalmente a multi agente, com vantagens e desvantagens em relação à facilidade de modelagem, implementação e desempenho. Como proposta deste trabalho é estudada uma das alternativas de arquitetura, utilizando um sistema de controle híbrido, pelo fato do mesmo permitir a comunicação entre níveis, tanto lateralmente, como com os módulos envolvidos no processo de fabricação e controle de chão de fábrica. Será possível com isto, determinar quais são as instâncias ou momentos de tomada de decisão, descrevendo as funções utilizadas, bem como as informações tratadas. Para viabilizar a modelagem utilizam-se módulos: gerenciador, seletivo e controlador de movimentação facilitando a construção de um algoritmo estruturado objetivando o detalhamento do mapeamento do processo de comunicação das ações desencadeadas no chão de fábrica.

Made available in DSpace on 2016-06-02T19:05:33Z (GMT). No. of bitstreams: 1 DissMCF.pdf: 2219656 bytes, checksum: f83a921d0c03343b903f3ee4976cb75e (MD5) Previous issue date: 2004-08-20 / In the search for competitive advantages, companies of the manufacture industry segment have been investing in the production flexibility and processes automation, looking for assisting a variety of types of products, following a demand for products and with few manual interventions. In this context, tasks like manufacture integration and production planning and management become more complex. The search for solutions in these tasks should always take into account the desired performance of the productive system, in relation to a series of factors like the attendance of delivery dates. Among the planning tasks, the present proposal is to help the production sequencing. This sequencing can be accomplished in several ways as, for instance, using priority rules. Discrete event systems simulation can be used to test different acceptable sequences of production evaluating the conditions or scenarios. However the simulation typically takes long time, not only to run the models but also for the analysis of the obtained data. To deal with the sequencing task due to situations that happen in moments not determined, the time to analyze or define a new arrangement is a very important factor and needs to be short. This proposal presents a system using fuzzy logic, for the evaluation of data obtained from the simulation of scenarios, considering shop floor conditions, to the production sequencing, in order to take a lower time for the evaluation task. / Na busca por vantagens competitivas, empresas do setor de manufatura têm investido na flexibilidade de produção e automação de processos, procurando atender a uma variedade de tipos de produtos, seguindo a demanda por produtos e com baixa intervenção manual. Neste ambiente, tarefas de integração da manufatura, planejamento e gerenciamento da produção, entre outras, tornam-se cada vez mais complexas. A busca por soluções nestas tarefas deve sempre levar em consideração o desempenho desejado do sistema produtivo, em relação a uma série de fatores como, por exemplo, o atendimento de prazos de entrega. Dentre as tarefas de planejamento, a presente proposta atua no seqüenciamento da produção. Este seqüenciamento pode ser realizado de diversas maneiras como, por exemplo, pelo uso de regras de prioridade, visando uma expectativa de resultados. Fazendo-se o uso de simulação de sistemas de eventos discretos, é possível testar diferentes seqüências admissíveis de produção, avaliando-se o desempenho para cada condição ou cenário. Entretanto o uso de simulação tipicamente necessita um tempo relativamente alto, não somente para as chamadas corridas de simulação mas também pelo tempo necessário para análise dos dados obtidos. Para tratar o seqüenciamento diante de situações que ocorrem em momentos não prédeterminados, o tempo de resposta na análise ou de definição de um novo arranjo é um fator muito importante e necessita ser relativamente baixo. Esta proposta apresenta um sistema computacional usando lógica nebulosa, para avaliação de dados obtidos na simulação de cenários representativos de condições de chão de fábrica, para o re-seqüenciamento da produção, buscando reduzir o tempo de avaliação.

O objeto de estudo deste trabalho é a construção de modelos que permitam a estruturação do projeto do controle de sistemas flexíveis de manufatura que considerem não somente estados de operação normal, mas também estados anormais, isto é, em situações de falhas. Entende-se como falha o desvio de pelo menos uma propriedade do sistema que leva o mesmo a um estado de defeito, que por sua vez se define como um comportamento incomum, não projetado, do sistema sob estudo, que finalmente é manifestado como um defeito. Sistemas flexíveis de manufatura são sistemas que executam múltiplos processos visando à produção de diversos bens. O processo é um conjunto de ações de transformação que por sua parte requerem um conjunto de recursos que são compartilhados por outros processos simultaneamente. Sistemas flexíveis de manufatura envolvem um número relativamente grande de componentes, máquinas, equipamentos e operadores humanos, que interagem de maneira diversificada manipulando um grande conjunto de informação e diferentes materiais em ambientes que podem até ser agressivos. Independentemente de qualquer programa de manutenção, falhas são eventos que são possíveis de acontecer em qualquer sistema de tal natureza. Num ambiente ideal, o funcionamento de todos os componentes poderia ser monitorado com o objetivo de detectar as falhas prematuras, mas devido ao custo envolvido, isso se torna inviável. Neste sentido surge o desafio de detectar as falhas a partir da observação do contexto do funcionamento do processo, mediante a monitoração de alguns parâmetros, em geral de fácil acesso, e tomando em consideração manifestações (sintomas) das falhas de um ponto de vista qualitativo. O presente trabalho propõe a utilização de redes Bayesianas para o diagnóstico de falhas em sistemas flexíveis de manufatura. As redes Bayesianas constituem uma ferramenta útil para a representação das relações que existem entre as causas (componentes em estado de falha) e os sintomas (observações anormais do processo). A partir deste modelo, inferências podem ser feitas para o diagnóstico do sistema.Por outro lado, nos últimos anos a rede de Petri tem sido utilizada exitosamente na representação dos aspectos de controle de sistemas produtivos e particularmente de sistemas de manufatura e, desta forma, considera-se aqui tal ferramenta para a modelagem do sistema não só em condições normais de funcionamento como também para a representação do tratamento de falhas, no contexto de um sistema tolerante a anomalias do processo. Especial ênfase é dada à estruturação de uma metodologia que permita a concepção de um procedimento eficaz para a construção de modelos de controle. / The objective of the present work is the construction of models proper for the easy implementation of flexible manufacturing control systems able to handle not only with normal behavioral conditions, but with abnormal (or faulty) behavior as well. A fault is defined as a deviation of at least one system property that drives the system into an error state. An error is defined as an uncommon behavior, not expected from the system functionalities. Flexible manufacturing systems are systems that execute multiple processes for the production of several items in several ways. A process is a sequence of certain transformation tasks that require a set of resources shared simultaneously by multiple processes. In this sense, flexible manufacturing systems are constituted of a relatively great number of devices, machines, equipments and human operators that work together manipulating great quantities of information and materials. This work is usually performed in aggressive environments. So, independent of any maintenance program, faults are events that cannot be totally avoided. In an ideal environment, the monitoring of all components is the way to avoid faults. Nevertheless, due to the cost involved, this is an impossible task. In this context, there is a challenge to properly detect faults from the observation of the systems context, through the monitoring and observation of some parameters in general easy to access, including also qualitative information from operators. In the present work, it is proposed the use of Bayesian networks for the fault diagnosis in flexible manufacturing systems. Bayesian networks constitute a useful tool for the modeling of the causal relation between the causes (faulty components) and the symptoms (manifestations). Based on this model, inference can be done for the system diagnosis task. Additionally, in the last years Petri net has been successfully used for the modeling of control systems of productive systems and particularly, manufacturing control systems. In this work, beyond the use of Petri net for the modeling of normal situations of the system, Petri net is used for the modeling of the fault treatment techniques. This drives the system tolerance to faults. Especial emphasis is laid into methodological issues that allows for the structuration of a systematic procedure proper for the modeling and construction of control systems.

Orientador: João Maurício Rosário / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecânica / Made available in DSpace on 2018-08-17T01:25:49Z (GMT). No. of bitstreams: 1 CastilloEstepa_RicardoAndres_M.pdf: 7409956 bytes, checksum: 80c4bd559f383881e7ad078cc2d08dad (MD5) Previous issue date: 2010 / Resumo: Este trabalho propõe uma arquitetura genérica de supervisão e comando para uma plataforma automatizada de experimentação modular com capacidade de utilização remota, concebida para apoiar e complementar os processos de formação e pesquisa em Automação Industrial e Robótica, descrevendo sua concepção, modelagem dinâmica e implementação hardware - software. A integração de tecnologias e dispositivos industriais existentes no mercado (Controladores Lógicos Programáveis - CLP, diversos tipos de sensores e atuadores industriais, processamento de imagens, sistemas supervisórios e dispositivos robóticos de movimentação) em uma única plataforma implementada através de uma arquitetura modular de Sistema Automatizado de Produção Colaborativo (CSAP/ADACOR) permite que alunos e pesquisadores possam interatuar com essas tecnologias realizando atividades de modo a automatizar, supervisar e comandar um processo completo de produção. Uma plataforma desenvolvida utilizando esta arquitetura genérica permite aos estudantes e pesquisadores trabalhar dentro de um ambiente educacional, mas que retrata a maioria dos aspectos encontrados em um Sistema Automatizado de Manufatura real, tais como Integração Tecnológica, Redes de Comunicação, Controle de Processos e Gestão da Produção. Além disso, é possível realizar o controle e supervisão do processo completo que ocorre na plataforma automatizada por meio de uma conexão remota que utiliza a internet - WEBLAB (Laboratório Remoto); possibilitando que usuários e grupos em diferentes lugares possam utilizar a plataforma e compartilhar informação rapidamente. Pode-se destacar também que as características de Modularidade e Flexibilidade da plataforma permitem futuras modificações tanto do software quanto do hardware da mesma / Abstract: This work proposes a generic supervisory and command architecture for an experimentation modular automated platform equipped with remote access capacities which is conceived with the aim of improve training and research processes on Automation and Robotics, this study describes the platform's design, dynamic modeling and implementation stages. The technologic and industrial devices integration (Programmable Logic Controllers - PLC, several types of sensors and actuators, image processing, supervisory systems and robotic manipulation devices) in a single platform which is implemented following a modular Collaborative Automatic Production System (CAPS/ADACOR) architecture allows students and researchers to Interact with it by means of doing practices in order to successfully automate, supervise and manage a complete production process. Therefore, class acquired theoretical concepts are supported so improving user's professional skills. A platform developed using the here proposed generic structure allows users to work within an educational environment coping with most of the encountered aspects in a real Manufacturing Automation System, such as Technologic Integration, Communication Networks, Process Control and Production Management. Furthermore it is possible to command the entire assembly process taking place at the platform by a remote network connection using the internet - WEBLAB (Remote Laboratory), enabling individual users and groups in different places in order to use the platform and quickly interchange information. In addition it is important to outstand that both the Modularity and Flexibility of the platform can allow readily any further hardware or software enhancement / Mestrado / Mecanica dos Sólidos e Projeto Mecanico / Mestre em Engenharia Mecânica

Orientadores: Helder Anibal Hermini, João Mauricio Rosario / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-08-14T02:05:53Z (GMT). No. of bitstreams: 1 Paracencio_LuisGustavodeMello_D.pdf: 6716809 bytes, checksum: 4cd9dbc748f0f532de18ea5573d7c2fb (MD5) Previous issue date: 2009 / Resumo: Com o avanço tecnológico na área de engenharia mecatrônica, cada vez mais é necessário acompanhar e aperfeiçoar os estudos. Este trabalho pretende apresentar metodologias para integração de células de manufatura robotizadas com ênfase na modelagem e controle de um dispositivo robótico. O modelo do dispositivo em estudo é composto de três graus de liberdade acionados hidraulicamente, o que permite o posicionamento de uma mesa, onde uma peça possa ser trabalhada por dois robôs industriais, constituindo assim um sistema colaborativo de manufatura. São apresentados estudos referentes à modelagem cinemática e dinâmica, e ao cálculo dos parâmetros do sistema de controle utilizando MatLab-SimulinkTM. Foi desenvolvida uma interface em linguagem LabVIEWTM para aquisição e tratamento de informações provenientes dos sensores das juntas e da implementação do sistema de supervisão e controle. A partir da publicação de uma página de aplicação HTML, a célula colaborativa poderá ser disponibilizada na WEB, permitindo a criação de um laboratório virtual, direcionado à pesquisa científica e tecnológica e com possibilidade de se interligar com outros laboratórios de ensino e pesquisa. Isso permitirá, por exemplo, a realização de experiências e ensino à distância, executando tarefas complexas em tempo real / Abstract: In recent years, with technological advances in mechatronics engineering it is necessary to monitor and improve the studies of these new trends. This research aims to present a methodology to integrate robotic manufacturing cells with emphasis on modeling and controlling of a robotic device. The model of the device of this study consists of three degrees of freedom, driven hydraulically allowing the placement of a table where a piece can be worked by two industrial robots constituting a system of collaborative manufacturing. Studies are presented concerning kinematic and dynamic models and the calculation of parameters of the control system using MatLab-SimulinkTM. An interface was developed in LabVIEWTM language for acquisition and processing of the information from the sensors of the joints and the implementation of the system of supervision and control. Since the publication of an HTML page, a cell collaborative application may be available on the collaborative WEB allowing the creation of a virtual laboratory directed to scientific and technological research and the possibility to connect with other laboratories for teaching and research. For instance, this will allow carrying out the implementation of distance learning experience and performing complex tasks in real time / Doutorado / Mecanica dos Sólidos e Projeto Mecanico / Doutor em Engenharia Mecânica

Orientador: Luiz Carlos Pereira da Silva / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-09T16:59:55Z (GMT). No. of bitstreams: 1 GuevaraHuerto_Wilfredo_M.pdf: 7004870 bytes, checksum: 515baaf3d80c6625dde9df137f1fff74 (MD5) Previous issue date: 2007 / Resumo: O principal objetivo dessa pesquisa é identificar e quantificar os benefícios da aplicação de dispositivos FACTS para a rede elétrica do Estado de São Paulo no que diz respeito à estabilidade de tensão, controle de tensão, redução de perdas e de intercâmbios de potência reativa com as áreas externas. A rede de São Paulo foi escolhida para esse estudo por representar o principal centro consumidor do país, por necessitar de grande importação de energia via intercâmbios por longa distância em todos os cenários de operação, e por ter sido considerada a área crítica nos eventos de perda da estabilidade de tensão de 1997. O trabalho aborda especificamente, a aplicação de dois equipamentos FACTS como possíveis dispositivos que possam contribuir para a melhoria do desempenho de regime permanente do sistema elétrico do Estado de São Paulo: o controlador em derivação SVC (Static Var Compensator) e o controlador série FSC (Fixed Serie Compensator). Estes dispositivos FACTS foram escolhidos devido ao fato de já representarem tecnologias consolidadas, oferecidas no mercado por diversos fabricantes, e por serem economicamente de maior viabilidade comparativamente a tecnologias mais recentes / Abstract: The main objective of this research is to identify and to quantify the benefits of the application of FACTS devices for the electric system of São Paulo¿s State according to the voltage stability, voltage control, loss reduction and interchanges of reactive power with external areas. The São Paulo¿s system was chosen because it represents the main load center of the country, needs great energy importation by long distance interchanges in all operation sceneries, and was considered the critical area in the voltage instability events that happened in 1997. This work investigates specifically, the application of two FACTS devices as possible equipments that can contribute to the improvement of the steady state performance of São Paulo¿s State electrical system: the shunt controller SVC (Static Var Compensator) and serie controller FSC (Fixed Serie Compensator). These FACTS devices were chosen because they already represent consolidated technologies, offered in the market by many manufacturers, and have better economic viability comparatively to more recent technologies / Mestrado / Energia Eletrica / Mestre em Engenharia Elétrica

Submitted by Franciele Moreira (francielemoreyra@gmail.com) on 2018-02-15T15:02:41Z No. of bitstreams: 2 Dissertação - Thiago de Almeida Bastos -2018 .pdf: 2834099 bytes, checksum: 20704146dd6e29dc70c067fcbd0011a2 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-02-16T09:38:12Z (GMT) No. of bitstreams: 2 Dissertação - Thiago de Almeida Bastos -2018 .pdf: 2834099 bytes, checksum: 20704146dd6e29dc70c067fcbd0011a2 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-02-16T09:38:12Z (GMT). No. of bitstreams: 2 Dissertação - Thiago de Almeida Bastos -2018 .pdf: 2834099 bytes, checksum: 20704146dd6e29dc70c067fcbd0011a2 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-01-30 / This master's thesis seeks to contribute to the automation of production lines, and proposes a methodology for the formal verification of flexible manufacturing models by the Petri-PDL tool. The Petri-PDL framework is based on a multimodal logic associated with a scheme defined for the problem with the Petri nets to specify and model sequential problems demonstrating in logical proofs the correctness of properties inferred by the model. This formal treatment is adapted for the treatment of flexible sequential processes, since these models are used in many other applications with Petri nets. They will be considered models of flexible production system found in the systematic review to evaluate the efficiency of its model and its adaptation to this formal refinement. / Este trabalho busca contribuir com a automação de linhas de produção e propõe uma metodologia para a verificação formal de modelos de manufatura flexível a partir da ferramenta Petri-PDL. O conceito Petri-PDL baseia-se em uma lógica multimodal associada ao esquema definido para o problema com as redes de Petri para especificar e modelar problemas sequenciais demonstrando em provas lógicas a corretude de propriedades inferidas pelo modelo. Este tratamento formal será adaptado para o tratamento de processos sequenciais flexíveis, uma vez que estes modelos são usados em muitas outras aplicações com redes de Petri. Serão considerados modelos de sistema de produção flexível encontrados na revisão sistemática para avaliar a eficiência de seu modelo e sua adaptação a este refinamento formal.