Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8691
Title: Uma nova abordagem para a síntese de supervisores de sistemas a eventos discretos.
Other Titles: A new approach for the synthesis of discrete event system supervisors.
???metadata.dc.creator???: BARROSO, Giovanni Cordeiro.
???metadata.dc.contributor.advisor1???: LIMA, Antonio Marcus Nogueira.
???metadata.dc.contributor.advisor2???: PERKUSICH, Angelo.
???metadata.dc.contributor.referee1???: CURY, José Eduardo Ribeiro.
???metadata.dc.contributor.referee2???: TAZZA, Maurizio.
???metadata.dc.contributor.referee3???: SILVA, José Reinaldo.
???metadata.dc.contributor.referee4???: FIGUEIREDO, Jorge César Abrantes de.
???metadata.dc.contributor.referee5???: SHIEL, Ulrich.
Keywords: Redes de Petri;Supervisores de Sistemas;Eventos Discretos;Sistemas G-Nets;Funções de Habilitação de Transições;Petri Nets;Systems Supervisors;Discrete Events;G-Nets Systems;Transition Enable Functions
Issue Date: 28-Aug-1996
Publisher: Universidade Federal de Campina Grande
Citation: BARROSO, Giovanni Cordeiro. Uma nova abordagem para a síntese de supervisores de sistemas a eventos discretos. 1996. 187 f. Tese (Doutorado em Engenharia Elétrica) - Programa de Pós-Graduação em Engenharia Elétrica, Centro de Engenharia Elétrica e Informática, Universidade Federal da Paraíba – Campus II - Campina Grande, Paraíba, Brasil, 1996.
???metadata.dc.description.resumo???: As redes de Petri tem sido amplamente utilizadas para a especificação, projeto, analise e controle de sistemas a eventos discretos. A teoria de controle supervisório, em conjunto com as redes de Petri, tem sido utilizadas para a solução do problema de síntese de supervisores para sistemas a eventos discretos. Este trabalho introduz uma nova abordagem para a síntese de supervisores, utilizando controle supervisório e redes de Petri. Para tanto, são introduzidos uma nova classe de redes de Petri, denominada Redes de Petri com Funções de Habilitação de Transições, e dois algoritmos para a síntese do supervisor. 0 objetivo e construir um supervisor que possua a mesma estrutura do modelo do sistema a ser controlado. Apesar dos poderosos mecanismos de estruturação disponíveis na teoria de redes de Petri para a modelagem de sistema complexos, existe ainda o problema da explosão de estados quando se analisam tais sistemas. Sendo assim, apresentamos também uma metodologia modular para a síntese do supervisor, usando dois tipos de redes de alto nível, Redes de Petri Coloridas e G-Nets. Mais ainda, pensando na aplicação desta abordagem para sistemas reais, introduzimos de forma sistemática, no supervisor, propriedades de tolerância a falhas. Aplicações e exemplos desta abordagem são direcionadas para sistemas de manufatura automatizados.
Abstract: Petri nets have been widely used to specifying, designing, analyzing and controlling discrete event systems. In the same way, the supervisory control theory, together with Petri nets, has been used to solve the supervisors synthesis problem of discrete event systems. This work introduces a new approach, using Petri nets and the supervisory control theory, to solve the supervisor synthesis problem. To do so, two algorithms are presented, as well as a new kind of Petri nets called Petri nets with transition enabling function. The objective is to synthesize a supervisor that has the same structure of the model of the system to be controlled. Despite of powerful structuring mechanisms available in the Petri net theory for the construction of the model of complex systems, we are still likely to face the problem of state explosion when analyzing large systems. Thus, we also present a modular approach to supervisors synthesis, using two kinds of high level nets called colored Petri nets and G-Nets, respectively. Moreover, having in mind the objective of applying this approach to actual systems, we use this approach to the synthesis of faulttolerant supervisors. The application and exemplification of this presented approach is on the synthesis of supervisors for automated manufacturing systems.
Keywords: Redes de Petri
Supervisores de Sistemas
Eventos Discretos
Sistemas G-Nets
Funções de Habilitação de Transições
Petri Nets
Systems Supervisors
Discrete Events
G-Nets Systems
Transition Enable Functions
???metadata.dc.subject.cnpq???: Engenharia Elétrica
URI: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8691
Appears in Collections:Doutorado em Engenharia Elétrica.

Files in This Item:
File Description SizeFormat 
GIOVANNI CORDEIRO BARROSO - TESE PPGEE 1996.pdfGiovanni Cordeiro Barroso - Tese de Doutorado PPGEE 1996. 40.47 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.