Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado.
| Ano de defesa: | 1999 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| Tipo de documento: | Dissertação |
| Tipo de acesso: | Acesso aberto |
| Idioma: | por |
| Instituição de defesa: |
Universidade Federal de Campina Grande
Brasil Centro de Engenharia Elétrica e Informática - CEEI PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA UFCG |
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: | |
| Link de acesso: | https://dspace.sti.ufcg.edu.br/handle/riufcg/11211 |
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. |
| id |
UFCG_f6de992fdd7dcec4f67f19384cc2a498 |
|---|---|
| oai_identifier_str |
oai:dspace.sti.ufcg.edu.br:riufcg/11211 |
| network_acronym_str |
UFCG |
| network_name_str |
Biblioteca Digital de Teses e Dissertações da UFCG |
| repository_id_str |
|
| spelling |
Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado.An approach for the synthesis of system supervisors to discrete events based on a timed model.Processamento da InformaçãoSíntese de SupervisoresSistemas a Eventos Discretos (SED)Teoria de Controle SpervisórioRedes de PetriSistemas de ManufaturaInformation ProcessingOverview of SupervisorsDiscrete Event Systems (SED)Supervisory Control TheoryPetri NetsManufacturing SystemsEngenharia ElétricaEsse 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.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.Universidade Federal de Campina GrandeBrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICAUFCGLIMA, Antonio Marcus Nogueira.LIMA, A. M. N.http://lattes.cnpq.br/2237395961717699BARROSO, Giovanni Cordeiro.TURNELL, Maria de Fátima Queiroz Vieira.PERKUSICH, Angelo.SILVA, Vanderley Pereira da.1999-08-162020-01-24T17:50:24Z2020-01-242020-01-24T17:50:24Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttps://dspace.sti.ufcg.edu.br/handle/riufcg/11211SILVA, 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.porinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCG2025-07-24T08:29:27Zoai:dspace.sti.ufcg.edu.br:riufcg/11211Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512025-07-24T08:29:27Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false |
| dc.title.none.fl_str_mv |
Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado. An approach for the synthesis of system supervisors to discrete events based on a timed model. |
| title |
Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado. |
| spellingShingle |
Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado. SILVA, Vanderley Pereira da. 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 Engenharia Elétrica |
| title_short |
Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado. |
| title_full |
Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado. |
| title_fullStr |
Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado. |
| title_full_unstemmed |
Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado. |
| title_sort |
Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado. |
| author |
SILVA, Vanderley Pereira da. |
| author_facet |
SILVA, Vanderley Pereira da. |
| author_role |
author |
| dc.contributor.none.fl_str_mv |
LIMA, Antonio Marcus Nogueira. LIMA, A. M. N. http://lattes.cnpq.br/2237395961717699 BARROSO, Giovanni Cordeiro. TURNELL, Maria de Fátima Queiroz Vieira. PERKUSICH, Angelo. |
| dc.contributor.author.fl_str_mv |
SILVA, Vanderley Pereira da. |
| dc.subject.por.fl_str_mv |
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 Engenharia Elétrica |
| topic |
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 Engenharia Elétrica |
| description |
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. |
| publishDate |
1999 |
| dc.date.none.fl_str_mv |
1999-08-16 2020-01-24T17:50:24Z 2020-01-24 2020-01-24T17:50:24Z |
| dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
| format |
masterThesis |
| status_str |
publishedVersion |
| dc.identifier.uri.fl_str_mv |
https://dspace.sti.ufcg.edu.br/handle/riufcg/11211 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. |
| url |
https://dspace.sti.ufcg.edu.br/handle/riufcg/11211 |
| identifier_str_mv |
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. |
| dc.language.iso.fl_str_mv |
por |
| language |
por |
| dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
| eu_rights_str_mv |
openAccess |
| dc.publisher.none.fl_str_mv |
Universidade Federal de Campina Grande Brasil Centro de Engenharia Elétrica e Informática - CEEI PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA UFCG |
| publisher.none.fl_str_mv |
Universidade Federal de Campina Grande Brasil Centro de Engenharia Elétrica e Informática - CEEI PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA UFCG |
| dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da UFCG instname:Universidade Federal de Campina Grande (UFCG) instacron:UFCG |
| instname_str |
Universidade Federal de Campina Grande (UFCG) |
| instacron_str |
UFCG |
| institution |
UFCG |
| reponame_str |
Biblioteca Digital de Teses e Dissertações da UFCG |
| collection |
Biblioteca Digital de Teses e Dissertações da UFCG |
| repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG) |
| repository.mail.fl_str_mv |
bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br |
| _version_ |
1851784628707262464 |