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.
| Identifer | oai:union.ndltd.org:IBICT/oai:www.repositorio.ufc.br:riufc/16064 |
| Date | 09 August 2011 |
| Creators | Menezes, Francisco Antônio de Alencar |
| Contributors | Barroso, Giovanni Cordeiro |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Source | reponame:Repositório Institucional da UFC, instname:Universidade Federal do Ceará, instacron:UFC |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0014 seconds