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.

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.

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.

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

A agricultura nacional, buscando uma maior integração e participação no mercado global, tende a investir cada vez mais na automação de máquinas e implementos agrícolas, visando maior eficiência e qualidade em seus produtos. Para responder rapidamente às mudanças impostas pelo mercado, o emprego do conceito de Agricultura de Precisão (AP), têm mostrado bons resultados, tais como uma melhor utilização das máquinas, melhor aproveitamento na área de plantio entre outros benefícios. Para tal, pesquisas voltadas ao desenvolvimento de máquinas, com nível elevado de automação, capazes de operar de forma autônoma, estão ganhando cada vez mais espaço no setor agrícola. Considerando esse cenário, no presente trabalho são apresentadas uma revisão sobre Controle Supervisório e Aquisição de Dados (SCADA), no contexto da Agricultura de Precisão, e a proposta de um modelo supervisório, aplicável na robótica móvel utilizando, como plataforma experimental o veículo Agribot. / National agriculture, seeking greater integration and participation in the global market tends to increasingly invest in the automation of agricultural machinery and implements, aiming at greater efficiency and quality in their products. To respond quickly to changes driven by the market, the use of the concept Precision Farming (PF) have shown good results, such as better machine utilization, better utilization in the planting area among others benefits. To this end, research aimed at developing machines with high level of automation, able to operate autonomous, are gaining more and more space in the agricultural sector. Considering this factor, this work is a review on the Supervisory Control and Data Acquisition (SCADA) in the Precision Farming context and the proposal of a supervisory model applicable in mobile agricultural robotics using as platform the vehicle Agribot.

Made available in DSpace on 2017-07-10T15:14:32Z (GMT). No. of bitstreams: 1 DissertacaoRodrigoOtto.pdf: 3119591 bytes, checksum: f05ef49eec98ca7dd9533c11023a1c28 (MD5) Previous issue date: 2015-03-10 / The generating units form a distributed power generator system that uses biogas as fuel, this biogas is produced on small farms that collect the waste from agricultural activities systems. The supervisory system of the biogas generation units can monitor local and remote environmental, electrical and mechanical variables of the process and display this data in a user-friendly interface for analysis and decision making. In addition to providing an user interface, the data collected will be stored to build the process history and analysis database that will serve as a study source and promotion of new research lines related to this topic. / As unidades geradoras formam um sistema distribuído de geração de energia que utiliza como combustível o biogás produzido em pequenas propriedades rurais, oriundos dos resíduos da atividade agropecuária. O sistema supervisório de unidades de geração a biogás é capaz de monitorar de forma local e remota as variáveis ambientais, elétricas e mecânicas do processo e disponibilizar estes dados em uma interface amigável para a análise e tomada de decisão. Além de disponibilizar em uma tela, esses dados coletados alimentam um banco de dados para acúmulo do histórico e análise do processo, que servirá como fonte de estudos e fomento de novas linhas de pesquisas futuras relacionadas ao tema de interesse

A agricultura nacional, buscando uma maior integração e participação no mercado global, tende a investir cada vez mais na automação de máquinas e implementos agrícolas, visando maior eficiência e qualidade em seus produtos. Para responder rapidamente às mudanças impostas pelo mercado, o emprego do conceito de Agricultura de Precisão (AP), têm mostrado bons resultados, tais como uma melhor utilização das máquinas, melhor aproveitamento na área de plantio entre outros benefícios. Para tal, pesquisas voltadas ao desenvolvimento de máquinas, com nível elevado de automação, capazes de operar de forma autônoma, estão ganhando cada vez mais espaço no setor agrícola. Considerando esse cenário, no presente trabalho são apresentadas uma revisão sobre Controle Supervisório e Aquisição de Dados (SCADA), no contexto da Agricultura de Precisão, e a proposta de um modelo supervisório, aplicável na robótica móvel utilizando, como plataforma experimental o veículo Agribot. / National agriculture, seeking greater integration and participation in the global market tends to increasingly invest in the automation of agricultural machinery and implements, aiming at greater efficiency and quality in their products. To respond quickly to changes driven by the market, the use of the concept Precision Farming (PF) have shown good results, such as better machine utilization, better utilization in the planting area among others benefits. To this end, research aimed at developing machines with high level of automation, able to operate autonomous, are gaining more and more space in the agricultural sector. Considering this factor, this work is a review on the Supervisory Control and Data Acquisition (SCADA) in the Precision Farming context and the proposal of a supervisory model applicable in mobile agricultural robotics using as platform the vehicle Agribot.

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,

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

Made available in DSpace on 2016-06-02T19:56:40Z (GMT). No. of bitstreams: 1 DissERN.pdf: 1095577 bytes, checksum: db0cd04a8651aaa02aaf07151f39e8e4 (MD5) Previous issue date: 2003-07-28 / Universidade Federal de Sao Carlos / Penicillin G acylase (PGA) is an important enzyme for the pharmaceutical industry. This enzyme has industrial use in the hydrolysis of penicillin G to obtain 6-aminocephalosporanic acid (6-APA), essential intermediate for the production of beta-lactam antibiotics. Many microorganisms produce PGA, but Bacillus megaterium is one of the few that excretes the enzyme to the extra cellular medium, facilitating downstream operations. Another recently enzyme application refers to enzymatic synthesis of semi-synthetics antibiotics as amoxilin and amphicilin via green route. This work studied the pH influence on the production of the enzyme. An algorithm based on the Fuzzy logic theory was implemented aiming to determine the maximum enzyme concentration during Bacillus megaterium cultivations. Experiments were carried out in a bioreactor (5 liter working volume) coupled to a data acquisition system using a Programmable Logic Controller and Supervisory System. Experiments carried out under pH control showed a decreasing in enzyme concentration compared to standard experiments. This result could be related to production of proteases by microorganism or enzyme deactivation caused by local acid addition. Two algorithms were implemented. The first was programmed in Fortran and linked as dynamic link library in a Visual Basic program to exchange on-line information with data acquisition system. The second one was implemented in MatLab (Mathworks, 5.2) software. On-line variables as cultivation time, carbon dioxide concentration and time carbon dioxide concentration derivate were used as information to Fuzzy algorithm. Both algorithms were able to accurately identify the time for which the enzyme reached its maximum. The first algorithm was tested in real time in two experiments. / Penicilina G acilase (PGA) é uma enzima de grande interesse na produção industrial de antibióticos beta-lactâmicos. Sua principal aplicação é como catalisador na hidrólise da penicilina G em ácido 6-aminopenicilânico (6-APA), composto-chave na produção industrial de antibióticos semi-sintéticos. PGA é produzida por vários microrganismos, apresentando diferentes características e propriedades. Dentre aqueles, Bacillus megaterium é um dos poucos que a produz extracelularmente, simplificando etapas para sua separação e purificação. Outra importante aplicação refere-se à sua utilização na síntese enzimática de antibióticos como amoxilina e ampicilina via rota verde. Neste trabalho estudouse a influência do pH na produção da enzima e implementou-se algoritmo baseado na teoria da lógica nebulosa ( Fuzzy ) com o objetivo de identificar o momento de máxima concentração da enzima. Experimentos foram realizados em biorreator de bancada (5 litros de volume útil) com aquisição de dados e controle do processo via controlador lógico programável e sistema supervisório.A utilização de controle de pH nos experimentos não resultou em bons resultados havendo uma diminuição na concentração da enzima em comparação com experimentos realizado sem controle. Este fato poderia estar relacionado com a produção de proteases pelo microrganismo ou pela desativação da enzima causada pela adição pontual de ácido. Dois algoritmos foram implementados. O primeiro foi programado em Fortran e utilizado como biblioteca dinâmica em plataforma de comunicação desenvolvida em Visual Basic para troca de informações em tempo real com sistema de aquisição de dados. O segundo algoritmo foi implementado no programa MatLab (Mathworks, 5.2). Os algoritmos empregaram como variáveis o tempo de cultivo, a fração molar de dióxido de carbono e sua derivada em relação ao tempo. Ambos algoritmos foram capazes de identificar com boa precisão o momento de parar o cultivo. O primeiro foi validado através de sua implementação no sistema em dois experimentos.