Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/11211
Title: Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado.
Other Titles: An approach for the synthesis of system supervisors to discrete events based on a timed model.
???metadata.dc.creator???: SILVA, Vanderley Pereira da.
???metadata.dc.contributor.advisor1???: LIMA, Antonio Marcus Nogueira.
???metadata.dc.contributor.referee1???: BARROSO, Giovanni Cordeiro.
???metadata.dc.contributor.referee2???: TURNELL, Maria de Fátima Queiroz Vieira.
???metadata.dc.contributor.referee3???: PERKUSICH, Angelo.
Keywords: Processamento da Informação;Síntese de Supervisores;Sistemas a Eventos Discretos (SED);Teoria de Controle Spervisório;Redes de Petri;Sistemas de Manufatura;Information Processing;Overview of Supervisors;Discrete Event Systems (SED);Supervisory Control Theory;Petri Nets;Manufacturing Systems
Issue Date: 16-Aug-1999
Publisher: Universidade Federal de Campina Grande
Citation: SILVA, Vanderley Pereira da. Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado. 165f. (Dissertação) Mestrado em Engenharia Elétrica, Curso de Pós-Graduação em Engenharia Elétrica, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba – Campus II - Campina Grande - Paraíba - Brasil, 1999.
???metadata.dc.description.resumo???: Esse trabalho trata da síntese de supervisores para sistemas a eventos discretos. A abordagem proposta utiliza a teoria de controle supervisório em conjunto com as redes de Petri. Para a realização desta síntese são utilizados algoritmos para a enumeração do espaço de estados do modelo e para obtenção das funções de habilitação das transições da rede que representa o supervisor. A rede de Petri que modela o comportamento sistema a eventos discretos inclui a informação relativa aos tempos de execução das tarefas do sistema. Para tratar os modelos temporizados e desenvolvido um algoritmo para a construção do espaço de estados do modelo e e introduzida uma nova classe de rede de Petri que e utilizada para representar o supervisor. 0 trabalho também apresenta um algoritmo para converter o supervisor sintetizado em um programa a ser executado num controlador logico programável. A utilidade da metodologia proposta e demonstrada aplicando-a na síntese de supervisores para vários exemplos típicos de sistemas de manufatura.
Abstract: This work deals with the synthesis of the supervisors for discrete events systems. The proposed approach combines the supervisory control theory and Petri nets. In order to achieve the supervisor synthesis an algorithm for enumerating the state space and another to determine the transition enabling functions of the Petri net that represents the discrete event system are employed. The Petri net that models the behavior of the discrete event system includes the timming of the tasks to be executed by the system. In order to take into account the timmed models an algorithm for constructing the state space of the model has been developed and a new extension of Petri net is introduced to represent the supervisor. The work also presents an algorithm to convert the supervisor issued from the synthesis procedure into a program to be executed in a programmable logic controller. The usefulness of the proposed methodology is demonstrated by its application to synthesize the supervisors for various typical manufacturing systems.
Keywords: Processamento da Informação
Síntese de Supervisores
Sistemas a Eventos Discretos (SED)
Teoria de Controle Spervisório
Redes de Petri
Sistemas de Manufatura
Information Processing
Overview of Supervisors
Discrete Event Systems (SED)
Supervisory Control Theory
Petri Nets
Manufacturing Systems
???metadata.dc.subject.cnpq???: Engenharia Elétrica
URI: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/11211
Appears in Collections:Mestrado em Engenharia Elétrica.

Files in This Item:
File Description SizeFormat 
VANDERLEY PEREIRA DA SILVA- DISSERTAÇÃO PPGEE 1999.pdfVanderley Pereira da Silva - Dissertação PPGEE 19997.47 MBAdobe PDFView/Open


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