• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 16
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • Tagged with
  • 16
  • 16
  • 15
  • 11
  • 10
  • 10
  • 9
  • 8
  • 8
  • 8
  • 4
  • 4
  • 4
  • 4
  • 3
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Algoritmo de conversão de redes de Petri coloridas para Ladder Logic Diagram (LLD) / Algorithm converting colored petri nets for ladder logic diagram (LLD)

Costa, Jonatha Rodrigues da 28 January 2014 (has links)
COSTA, J. R. Algoritmo de conversão de Redes de Petri coloridas para Ladder Logic Diagram (LLD). 2014. 101 f. Dissertação (Mestrado em Engenharia de Teleinformática) - Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2014. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2014-04-03T17:30:44Z No. of bitstreams: 1 2014_dis_jrcosta.pdf: 2574390 bytes, checksum: d0d076184b0c8948a97d1d63dd6d4703 (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2014-05-07T19:17:41Z (GMT) No. of bitstreams: 1 2014_dis_jrcosta.pdf: 2574390 bytes, checksum: d0d076184b0c8948a97d1d63dd6d4703 (MD5) / Made available in DSpace on 2014-05-07T19:17:41Z (GMT). No. of bitstreams: 1 2014_dis_jrcosta.pdf: 2574390 bytes, checksum: d0d076184b0c8948a97d1d63dd6d4703 (MD5) Previous issue date: 2014-01-28 / In this dissertation, is presented a proposal of conversion of models of manufacturing cell (FMS) from Colored Petri Nets (CPN) to Ladder Logic Diagram (LLD). It explores the controlled CPN models - constructed using the methodology of supervisory Control Restrictions on Decomposed Colors (CRDC) - and not controlled models. It emphasizes the transformation of CPN not controlled for the LLD and ease for inclusion of control. The results described herein demonstrate that the methodology facilitates the work of a PLC programmer in LLD minimizing possible errors during the programming phase. To illustrate the methodology we developed a converter from CPN to LLD, produced in JAVA, in order to clarify the dynamic conversion environment. To validate the results of the converter, is controlled by PLC, a vertical articulated robot which works compared with and without supervision which had been firstly modeled in CPN without supervision, then applied to CRDC, the supervision and the conversion technique for LLD. / Neste trabalho é apresentada uma proposta de conversão de modelos de células de manufatura (FMS) em Redes de Petri Coloridas (RPC) para Ladder Logic Diagram (LLD). Explora-se modelos de RPC controlados - construidos usando-se como metodologia de controle supervisório as Restrições de Controle sobre Cores Decompostas (RCCD) - e modelos não controlados. Enfatiza-se a transformação de RPC não controlada para LLD e a facilidade de inclusão do controle. Os resultados aqui descritos demonstram que a metodologia facilita o trabalho de um programador de CLP em LLD minimizando os possíveis erros durante a fase de programação. Para exemplificar a metodologia foi desenvolvido um conversor de RPC para LLD, produzido em ambiente JAVA, afim de evidenciar a dinâmica de conversão. Para a validação dos resultados do conversor é usado um robô articulado vertical controlado via CLP, que opera comparativamente com e sem supervisão, o qual fora modelado primeiramente em RPC sem supervisão, depois aplicada a técnica RCCD, a supervisão e a conversão para LLD.
2

Controle supervisório de sistemas a eventos discretos, usando redes de Petri coloridas / Supervisory control of discrete event systems using coloured Petri nets

Menezes, Francisco Antônio de Alencar 09 August 2011 (has links)
MENEZES, F. A. A. Controle supervisório de sistemas a eventos discretos, usando redes de Petri coloridas. 2011. 103 f. Dissertação (Mestrado em Engenharia de Teleinformática) – Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2011. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2016-04-04T14:32:13Z No. of bitstreams: 1 2011_dis_faamenezes.pdf: 1860340 bytes, checksum: 3a05c0f439bb0c27930cf841aac417ec (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2016-04-05T18:56:49Z (GMT) No. of bitstreams: 1 2011_dis_faamenezes.pdf: 1860340 bytes, checksum: 3a05c0f439bb0c27930cf841aac417ec (MD5) / Made available in DSpace on 2016-04-05T18:56:49Z (GMT). No. of bitstreams: 1 2011_dis_faamenezes.pdf: 1860340 bytes, checksum: 3a05c0f439bb0c27930cf841aac417ec (MD5) Previous issue date: 2011-08-09 / This work proposes a newmethod for synthesis of supervisors in discrete event systems using coloured Petri nets, based in the theory of supervisory control. As a main aspect, there is the theoretical and formal mathematical proof of the method for synthesis of supervisors, called Control Constraints on Decomposed Colors (CCDC). In addition, as a consequence, it is presented a method for reducing the number of control places called Fusion of Controllers (FC). The CCDC and FC methods are an extension of the work of Moody and Antsaklis, they propose, originally a theorem proving the synthesis of supervisors using Petri nets thus are proposed here extensions of this theorem to the context of coloured Petri nets. In this case, it is explored the decomposition of the incidence matrix of a coloured Petri net to de…ne control places that are not con‡icting in their actions, using the soft CPNTools. The following is realized the fusion of these control places obtained with CCDC, with the aplication of the FC method. The obtained place is called the resulting fusion supervisor, where it is found the same constraints and contributes with the same control system performance. / Esse trabalho propõe um novo método para síntese de supervisores em sistemas a eventos discretos, utilizando redes de Petri coloridas, baseado no contexto da teoria de controle supervisório. Como aspecto principal, tem-se a formalização teórica e a prova matemática do método para síntese desses supervisores, denominado Restrições de Controle sobre Cores Decompostas (RCCD). Alémdisso, como consequência, é apresentado ummétodo para redução do número de lugares de controle denominado Fusão de Controladores (FC). Os métodos RCCD e FC são uma extensão do trabalho de Moody e Antsaklis, que propõem, originalmente, um Teorema comprovando a síntese de supervisores usando redes de Petri ordinárias e, dessa forma, são propostas aqui as extensões desse Teorema, para o contexto das redes de Petri coloridas. Nesse caso, explora-se a decomposição da matriz de incidência de uma rede de Petri colorida para de…nir lugares de controle que não são con‡itantes em suas ações, usando o soft CPNTools como ferramenta. A seguir, é realizada a fusão desses lugares de controle, obtidos com o RCCD, com a aplicação do método FC, em que o lugar de controle encontrado, denominado supervisor resultante da fusão, atende as mesmas restrições e contribui com a mesma performance de controle do sistema.
3

Arquitetura de sistema de controle supervisório integrando CLP, SCADA e roteamento de tarefas

Scotti, William Andrey Faustino January 2015 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2015. / Made available in DSpace on 2015-11-17T03:07:20Z (GMT). No. of bitstreams: 1 336040.pdf: 3832399 bytes, checksum: 12fc38d797828548fb103e26a5d6491b (MD5) Previous issue date: 2015 / Este trabalho desenvolve uma metodologia para a síntese e implementação do sistema de controle supervisório para sistemas de manufatura, integrando o programa de Controlador Lógico Programável (CLP), o SCADA e o roteamento de tarefas através da Teoria de Controle Supervisório (TCS). A abordagem modular local da TCS é utilizada para a modelagem da síntese formal e simulação de uma lógica de controle minimamente restritiva, representada através de um conjunto de autômatos de tamanho reduzido. Esses autômatos são usados tanto para a geração automática de código de CLP, quanto para a estruturação das diversas funcionalidades do SCADA. Um sistema complementar faz uso de heurísticas para a escolha do próximo comando a executar dentre aqueles habilitados pelo controle supervisório, buscando otimizar o roteamento de tarefas segundo algum critério de produção. A aplicação da metodologia a um sistema modular de produção didático mostrou que a abordagem proposta beneficia a sistematização, modularidade e estruturação do projeto do sistema de controle supervisório, assim como a eficiência, segurança e flexibilidade do sistema de manufatura.<br> / Abstract : This work aims to develop a methodology to synthesize and implement a supervisory control of manufacturing systems, by integrating a programmable logic controller (PLC), the SCADA (supervisory control and data acquisition) and the tasks routing by utilizing the Supervisory Control Theory (SCT). The local modular approach of TCS is used to model the formal synthesis and simulation of a minimally restrictive control logic, represented by a set of size reduced automatons. These Automatons are used either to automatically generate a PLC code or to structurate several functionalities of SCADA. A complementary system utilizes heuristics to decide the next command to be executed among those enabled by supervisory control, in order to optimize the tasks routing according to production criterion. The aplication of this methodology to a didatic modular production system shows that the proposed approach benefits the systematization, modularity and structure of the supervisory control system design, as well as it reinforces the efficiency, safety and flexibility of the manufacturing system.
4

Controle supervisório da cadeia produtiva do biodiesel da mamona baseado em redes de Petri / Supervisory control of castor bean biodiesel suppy chain based on Petri nets

Prata, Bruno de Athayde 10 September 2007 (has links)
PRATA, B. A. Controle supervisório da cadeia produtiva do biodiesel da mamona baseado em redes de Petri. 2007. 135 f. Dissertação (Mestrado em Logística e Pesquisa Operacional) – Pró-Reitoria de Pesquisa e Pós-Graduação, Universidade Federal do Ceará, Fortaleza, 2007. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2016-03-17T14:31:45Z No. of bitstreams: 1 2009_dis_baprata.pdf: 826833 bytes, checksum: 7d478267869663ccc08177657c50422f (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2016-04-07T16:52:49Z (GMT) No. of bitstreams: 1 2009_dis_baprata.pdf: 826833 bytes, checksum: 7d478267869663ccc08177657c50422f (MD5) / Made available in DSpace on 2016-04-07T16:52:49Z (GMT). No. of bitstreams: 1 2009_dis_baprata.pdf: 826833 bytes, checksum: 7d478267869663ccc08177657c50422f (MD5) Previous issue date: 2007-09-10 / Nowadays many countries present critical problems related to energy demand-supply equilibrium. The reserves of petroleum-based products are unable to face future demand for the next decades. So, the search for alternative sources of energy has been strongly directed to biodiesel. Several fruit oils can be used as a source for biodiesel production and the castor bean is an example. The castor bean agribusiness is a complex commodity chain, making necessary researches for the conception of this incipient chain. Discrete Event Systems (DES) are largely used in the modeling of commodity chains, aiding the planning and the manage of these systems. Among the DES modeling techniques, the Petri nets stands out for as making a easier a compact representation of a system and for permitting its simulation and analysis. The supervisory control aims for synthesize a supervisor that coordinate the activities of the subsystems in order to satisfy a set of specifications in a general system. The general purpose of this work was create a model, based on Petri nets, that permit the supervisory control of Castor Bean Biodiesel Supply Chain (CBB/SC) in order to guarantee its efficiency and efficacy. It was developed a new method for the supervisory control based on colored Petri nets, called Constraints of Control on Decomposed Colors (CCDC). Also, it was proposed a new framework for the supervisory control in logistics systems. Functional specifications were established for found the system which had its performance evaluated, based on the lead time, through simulation of several operational scenarios. As conclusion, it seems clear that the CCDC method is a consistent approach for DES control, the proposed model helps in a better comprehension about the system in analysis and the supervisory control is a theory that can aid the decision making process in similar chains as CBB/SC / Na conjuntura atual é possível observar o grave problema de escassez energética com o qual a humanidade se depara. Os derivados de petróleo estarão se exaurindo nas próximas décadas e o tempo geológico necessário para a revitalização do estoque desta energia fóssil a inviabiliza no longo prazo. Neste contexto, a busca por fontes renováveis de energia, como, por exemplo, o biodiesel, torna-se de suma importância. Diversas oleaginosas podem ser empregadas para a produção de biodiesel, dentre as quais pode ser destacada a mamona. O agronegócio da mamona constitui-se numa cadeia produtiva complexa, tornando necessários esforços dirigidos para a estruturação desta cadeia ainda incipiente. Sistemas a Eventos Discretos (SED) vêm sendo amplamente utilizados na modelagem de cadeias produtivas, apoiando o processo de planejamento e de gerenciamento de tais sistemas. Dentre as técnicas de modelagem de SED, as redes de Petri destacam-se por propiciarem uma representação compacta de um sistema e por permitirem a sua simulação e análise. O controle supervisório de SED consiste em sintetizar um supervisor que coordene as atividades de subsistemas de modo que o sistema geral satisfaça um conjunto de especificações. O objetivo geral deste trabalho foi elaborar um modelo, baseado em redes de Petri, que permitisse o controle supervisório da Cadeia Produtiva do Biodiesel da Mamona (CP/BDMA), com vistas a garantir sua efetividade. Foi desenvolvido um novo método de controle supervisório baseado em redes de Petri coloridas, denominado Restrições de Controle sobre Cores Decompostas (RCCD), sendo também proposta uma arquitetura para o controle supervisório em sistemas logísticos. Idealizou-se um modelo teórico da CP/BDMA no qual foi possível ressaltar a importância da coordenação de atividades logísticas no âmbito da cadeia. Foram estabelecidas especificações funcionais para o sistema e, em seguida, efetuou-se a avaliação do seu desempenho, com base no tempo de ciclo, através da simulação de diversos cenários operacionais. Como conclusões, pode-se ressaltar que o método RCCD constitui-se em uma eficiente abordagem para o controle de SED, que a modelagem proposta permitiu uma maior compreensão acerca do sistema em estudo e que o controle supervisório é uma técnica que pode subsidiar o processo de tomada de decisão no âmbito CP/BDMA, sendo também aplicável a outras cadeias produtivas agroindustriais
5

Serviço de controle supervisório : uma proposta de controle para processos de negócios flexível / Rosemary Francisco ; orientador, Eduardo A. Portela Santos ; co-orientador, Marco A. B. de Paula

Francisco, Rosemary January 2011 (has links)
Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2011 / Bibliografia: f.125-132 / Para se tornarem ou se manterem competitivas, as empresas estão fazendo uso efetivo de tecnologia da informação visando o suporte aos processos de negócio. Os Sistemas de Informação baseados em Processos (PAIS) estão sendo utilizados com o objetivo de / In order to become or remain competitive, companies are making effective use of information technology aiming at support to the business processes. Process-Aware Information Systems (PAIS) are being used in order to offer this type of process support,
6

Um ambiente de suporte à implementação da arquitetura de controle supervisório / Ricardo Alexandre Diogo ; orientador, Eduardo Alves Portela Santos ; co-orientador, Marco Antonio Busetti de Paula

Diogo, Ricardo Alexandre January 2008 (has links)
Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2008 / Bibliografia: f. 79-84 / O crescimento da competição global tem forçado as empresas a reduzirem cada vez mais o tempo de lançamento dos seus produtos. Como consequência, existe um esforço, tanto por parte das empresas como da academia, no sentido de proverem técnicas e ferramenta / The increasing of global competition has been forcing the companies to reduce more and more the launching time of their products. As a result, companies and academy make efforts to provide techniques and tools for the fast reconfiguration of control syste
7

Contribuições à análise de desempenho de células de manufatura baseada na teoria de controle supervisório

Kawamura, Celso Matsumi 28 June 2012 (has links)
A crescente competitividade entre as indústrias de manufatura faz com que as empresas se preocupem cada vez mais com questões relacionadas à qualidade, produtividade e redução de custo. A concorrência internacional, bastante incisiva nos setores industriais de transformação de matérias-primas é, de fato, uma questão preocupante. Para tornarem-se competitivas, as empresas precisam extrair mais produtos com uma mesma quantidade de insumos e produzir mais, em menores frações de tempo, tornando as restrições de tempo e recursos cada vez mais severas. Melhores desempenhos e processos mais eficientes podem ser obtidos por meio da automação industrial. Porém, tais projetos são normalmente desenvolvidos sem a utilização de abordagens formais e os resultados obtidos dependem, quase que exclusivamente, da experiência dos projetistas. Não é possível afirmar que um conjunto de máquinas esteja operando sem qualquer situação de bloqueio, ou ainda, que esteja produzindo da maneira mais eficiente possível, tendo-se como critério o tempo de execução das operações. Por intermédio de abordagens formais, como a Teoria de Controle Supervisório (TCS), é possível a síntese automática de supervisores, que permitem a operação de uma planta, os quais, além de atender aos requisitos de segurança, evitam que o sistema atinja uma situação de bloqueio. Este trabalho apresenta algumas extensões dessa teoria, de modo que o supervisor ótimo satisfaça também às especificações de sequenciamento de operações e de prazo de finalização de tarefas, com a abordagem de autômatos temporizados. O problema de escalonamento de tarefas, diretamente relacionado ao planejamento de produção nas indústrias, é um problema de otimização, de tal maneira que a sequência de execução das etapas seja organizada para que o tempo total de processamento seja minimizado. Nessa pesquisa, uma proposta de um método para a obtenção de escalonamento de operações, com a utilização de autômatos temporizados e conceitos da teoria de controle supervisório, é apresentada. Propõe-se um algoritmo para a obtenção de uma sequência ótima de operações, tendo-se como critério o tempo total para a finalização do processo. O método é aplicado em uma célula automatizada em uma indústria fabricante de elevadores, onde foi possível determinar o tempo mínimo de processamento de um determinado item. Por meio da pesquisa de métodos e algoritmos para a obtenção de escalonamento de tarefas em ambientes fabris, procura-se atender às necessidades estratégicas das indústrias, na busca por sistemas de manufatura cada vez mais eficientes e competitivos. / The growing competition among manufacturing industries causes companies to worry more and more with issues related to quality, productivity and cost reduction. International competition, quite incisive among raw material processing manufacturers, is actually a very concerning situation. To become more competitive, enterprises have to produce more with the same amount of raw materials, or in a shorter time, making the constraints of time and resources increasingly severe. A better performance and more efficient processes can be obtained by means of industrial automation. However, such projects are normally designed without any formal approach and the achieved results depend, more than anything else, on engineers’ expertise. It cannot be stated that a machine set is working without any deadlock situation, or is producing in the most efficient way possible, considering operations´ execution time as efficiency criteria. By means of formal approaches such as Supervisory Control Theory (SCT), it is possible to synthesize supervisors automatically, that allow a plant to operate, in a way that, not only safety requirements are fulfilled, but the system is also prevented to reach a deadlock situation. This work presents this theory and its extensions, so the optimal supervisor satisfies task scheduling requirements and job completion deadlines, by using timed automata frameworks. The job shop scheduling problem, which directly relates to manufacturers´ production planning, is an optimization problem, where all the processing steps are organized in way that the total processing time is minimized. A methodology is presented for the job shop scheduling, by means of timed automata and supervisory control theory. An algorithm for acquiring an optimal operation sequence is proposed, considering the total time needed to finalize a process as the optimization criteria. The method is applied in an automated cell in a elevator manufacturing industry, where it was possible to obtain the minimal time needed to process a certain part. Through algorithms and methods for job shop scheduling in industrial environments, it is intended to meet the manufacturers´ strategic needs, in their search for manufacturing systems that are increasingly more efficient and competitive.
8

Contribuições à análise de desempenho de células de manufatura baseada na teoria de controle supervisório

Kawamura, Celso Matsumi 28 June 2012 (has links)
A crescente competitividade entre as indústrias de manufatura faz com que as empresas se preocupem cada vez mais com questões relacionadas à qualidade, produtividade e redução de custo. A concorrência internacional, bastante incisiva nos setores industriais de transformação de matérias-primas é, de fato, uma questão preocupante. Para tornarem-se competitivas, as empresas precisam extrair mais produtos com uma mesma quantidade de insumos e produzir mais, em menores frações de tempo, tornando as restrições de tempo e recursos cada vez mais severas. Melhores desempenhos e processos mais eficientes podem ser obtidos por meio da automação industrial. Porém, tais projetos são normalmente desenvolvidos sem a utilização de abordagens formais e os resultados obtidos dependem, quase que exclusivamente, da experiência dos projetistas. Não é possível afirmar que um conjunto de máquinas esteja operando sem qualquer situação de bloqueio, ou ainda, que esteja produzindo da maneira mais eficiente possível, tendo-se como critério o tempo de execução das operações. Por intermédio de abordagens formais, como a Teoria de Controle Supervisório (TCS), é possível a síntese automática de supervisores, que permitem a operação de uma planta, os quais, além de atender aos requisitos de segurança, evitam que o sistema atinja uma situação de bloqueio. Este trabalho apresenta algumas extensões dessa teoria, de modo que o supervisor ótimo satisfaça também às especificações de sequenciamento de operações e de prazo de finalização de tarefas, com a abordagem de autômatos temporizados. O problema de escalonamento de tarefas, diretamente relacionado ao planejamento de produção nas indústrias, é um problema de otimização, de tal maneira que a sequência de execução das etapas seja organizada para que o tempo total de processamento seja minimizado. Nessa pesquisa, uma proposta de um método para a obtenção de escalonamento de operações, com a utilização de autômatos temporizados e conceitos da teoria de controle supervisório, é apresentada. Propõe-se um algoritmo para a obtenção de uma sequência ótima de operações, tendo-se como critério o tempo total para a finalização do processo. O método é aplicado em uma célula automatizada em uma indústria fabricante de elevadores, onde foi possível determinar o tempo mínimo de processamento de um determinado item. Por meio da pesquisa de métodos e algoritmos para a obtenção de escalonamento de tarefas em ambientes fabris, procura-se atender às necessidades estratégicas das indústrias, na busca por sistemas de manufatura cada vez mais eficientes e competitivos. / The growing competition among manufacturing industries causes companies to worry more and more with issues related to quality, productivity and cost reduction. International competition, quite incisive among raw material processing manufacturers, is actually a very concerning situation. To become more competitive, enterprises have to produce more with the same amount of raw materials, or in a shorter time, making the constraints of time and resources increasingly severe. A better performance and more efficient processes can be obtained by means of industrial automation. However, such projects are normally designed without any formal approach and the achieved results depend, more than anything else, on engineers’ expertise. It cannot be stated that a machine set is working without any deadlock situation, or is producing in the most efficient way possible, considering operations´ execution time as efficiency criteria. By means of formal approaches such as Supervisory Control Theory (SCT), it is possible to synthesize supervisors automatically, that allow a plant to operate, in a way that, not only safety requirements are fulfilled, but the system is also prevented to reach a deadlock situation. This work presents this theory and its extensions, so the optimal supervisor satisfies task scheduling requirements and job completion deadlines, by using timed automata frameworks. The job shop scheduling problem, which directly relates to manufacturers´ production planning, is an optimization problem, where all the processing steps are organized in way that the total processing time is minimized. A methodology is presented for the job shop scheduling, by means of timed automata and supervisory control theory. An algorithm for acquiring an optimal operation sequence is proposed, considering the total time needed to finalize a process as the optimization criteria. The method is applied in an automated cell in a elevator manufacturing industry, where it was possible to obtain the minimal time needed to process a certain part. Through algorithms and methods for job shop scheduling in industrial environments, it is intended to meet the manufacturers´ strategic needs, in their search for manufacturing systems that are increasingly more efficient and competitive.
9

Integração dos níveis MÊS SCADA e controle da planta de manufatura com base na teoria de linguagens e autômatos / Integration of MES, SCADA and manufacturing plant control levels based on languages and automata theory

Lopes, Yuri Kaszubowski 30 October 2012 (has links)
Made available in DSpace on 2016-12-12T17:38:32Z (GMT). No. of bitstreams: 1 Yuri k Lopes.pdf: 3796043 bytes, checksum: 70432b9e6f5bb1b00a3971427ddf5a44 (MD5) Previous issue date: 2012-10-30 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The languages and automata theory is used to obtain the coordinating control logic of automated manufacturing plants. However, there is a lack of standardization to interface MES (Manufacturing Execution System), SCADA (Supervisory Control System and Data Acquisition) and coordination control. This paper investigates the use of languages and automata theory to integrate and implement MES and SCADA with controllers for data acquisition and intervention in the manufacturing plant. This approach aims to achieve consistency between levels as well as the systematic development of interfaces between MES, SCADA and control coordination. Thus, the objective is to reduce the effort for creating and maintaining these systems. Furthermore, it was implemented a tool for modeling and synthesis of the proposed method. For the experiments, it was developed a graphical environment for simulation of manufacturing. The validation was performed by through two experiments in which were modeled and synthesized controller, SCADA and MES according to the proposed method. / A teoria de linguagens e autômatos é utilizada para a obtenção da lógica de controle de coordenação de plantas de manufatura automatizadas. No entanto, há uma carência da padronização das interfaces entre o MES (Sistema de Execução da Manufatura), o SCADA (Controle Supervisório e Aquisição de Dados) e o controle de coordenação. Este trabalho investiga o uso da teoria de linguagens e autômatos para integrar e implementar o MES e o SCADA com os controladores para a aquisição de dados e a intervenção na planta de manufatura. Tal abordagem visa à consistência entre níveis bem como a sistematização do desenvolvimento das interfaces entre MES, SCADA e o controle de coordenação. Com isso, objetiva-se a redução do esforço para a criação e manutenção desses sistemas. Ainda, foi implementada uma ferramenta para a modelagem e síntese conforme o método proposto. Para a realização dos experimentos, foi desenvolvido um ambiente para simulação gráfica da manufatura. A validação foi realizada por meio de dois experimentos, nos quais foram modelados e sintetizados o controlador, o SCADA e o MES segundo o método proposto.
10

Controle supervisório aplicado a sistemas fotovoltaicos autônomos com topologia multi string / Supervisory control applied to stand-alone photovoltaic systems based on multi string topology

Cândido, Diogo Brum 05 March 2010 (has links)
Conselho Nacional de Desenvolvimento Científico e Tecnológico / This master thesis analyses and implements a stand-alone photovoltaic system based on decentralized Multi String topology. The proposed system is composed of a set of DCDC converters linked to the PV arrays of panels, a bidirectional converter to perform the control of the charge/discharge process of the battery bank and ensure the specifications of DC link and a full-bridge inverter that feed the AC loads. Therefore, all operation modes that the stand-alone PV system can work are presented and analyzed. As the chief aim is to ensure the energy balance of the stand-alone PV system, are presented independents control loops for each converter of the PV system and a propose of a supervisory control that, based on information about the conditions of the DC link and the bank of batteries, defines each operation mode should be active, in order to maximize the power extracted from the PV arrays, the life cycle of the battery bank and ensuring the uninterrupted feeding of energy to the loads. Finally, simulation and experimental results validate the operation of the proposed system under different load and solar radiation conditions. / Este trabalho analisa e implementa um sistema fotovoltaico autônomo baseado no conceito de topologia descentralizada do tipo Multi String . O sistema proposto é constituído de um conjunto de conversores CC-CC vinculados aos arranjos de painéis, um conversor bidirecional para controle da carga e descarga do banco de baterias e um inversor de saída que fornece a alimentação CA as cargas. Todos os modos de operação em que o sistema PV autônomo proposto pode funcionar são apresentados e analisados. Com o objetivo principal de assegurar o balanço de energia do sistema PV autônomo, são apresentadas malhas de controle independentes para cada conversor do sistema PV e a proposta de um sistema supervisório o qual, de posse de informações sobre o estado do barramento CC e banco de baterias, define qual modo de operação deve estar ativo, maximizando a potência extraída dos arranjos PV, a vida útil do banco de baterias e garantindo um fornecimento contínuo de energia às cargas. Por fim, resultados de simulação e experimentais validam o funcionamento do sistema proposto em diferentes condições de carga e radiação solar.

Page generated in 0.0911 seconds