Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado.

Detalhes bibliográficos
Ano de defesa: 1999
Autor(a) principal: SILVA, Vanderley Pereira da. lattes
Orientador(a): LIMA, Antonio Marcus Nogueira. lattes
Banca de defesa: BARROSO, Giovanni Cordeiro., TURNELL, Maria de Fátima Queiroz Vieira., PERKUSICH, Angelo.
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Campina Grande
Programa de Pós-Graduação: PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
Departamento: Centro de Engenharia Elétrica e Informática - CEEI
País: Brasil
Palavras-chave em Português:
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
Área do conhecimento CNPq:
Engenharia Elétrica
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 LIMA, Antonio Marcus Nogueira.LIMA, A. M. N.http://lattes.cnpq.br/2237395961717699BARROSO, Giovanni Cordeiro.TURNELL, Maria de Fátima Queiroz Vieira.PERKUSICH, Angelo.SILVA, V. P.http://lattes.cnpq.br/9352188592417710SILVA, Vanderley Pereira da.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.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.Submitted by Ruth Quaresma de Freitas (ruth_quaresma@hotmail.com) on 2020-01-24T17:50:24Z No. of bitstreams: 1 VANDERLEY PEREIRA DA SILVA- DISSERTAÇÃO PPGEE 1999.pdf: 7141530 bytes, checksum: 39753b1334dc1ee5514911e615c1c629 (MD5)Made available in DSpace on 2020-01-24T17:50:24Z (GMT). No. of bitstreams: 1 VANDERLEY PEREIRA DA SILVA- DISSERTAÇÃO PPGEE 1999.pdf: 7141530 bytes, checksum: 39753b1334dc1ee5514911e615c1c629 (MD5) Previous issue date: 1999-08-16Universidade Federal de Campina GrandePÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICAUFCGBrasilCentro de Engenharia Elétrica e Informática - CEEIEngenharia ElétricaProcessamento 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 SystemsUma 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.1999-08-162020-01-24T17:50:24Z2020-01-242020-01-24T17:50:24Zhttps://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.info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCGTEXTVANDERLEY PEREIRA DA SILVA- DISSERTAÇÃO PPGEE 1999.pdf.txtVANDERLEY PEREIRA DA SILVA- DISSERTAÇÃO PPGEE 1999.pdf.txttext/plain306815https://dspace.sti.ufcg.edu.br/bitstream/riufcg/11211/4/VANDERLEY+PEREIRA+DA+SILVA-+DISSERTA%C3%87%C3%83O+PPGEE+1999.pdf.txtfcd551eae76747ae2b8f9f1fa0797d54MD54ORIGINALVANDERLEY PEREIRA DA SILVA- DISSERTAÇÃO PPGEE 1999.pdfVANDERLEY PEREIRA DA SILVA- DISSERTAÇÃO PPGEE 1999.pdfapplication/pdf7644268https://dspace.sti.ufcg.edu.br/bitstream/riufcg/11211/3/VANDERLEY+PEREIRA+DA+SILVA-+DISSERTA%C3%87%C3%83O+PPGEE+1999.pdf904b9a4c44bef220f1043c6bf90ffbd2MD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://dspace.sti.ufcg.edu.br/bitstream/riufcg/11211/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufcg/112112025-07-24 05:29:27.652oai:dspace.sti.ufcg.edu.br:riufcg/11211Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Biblioteca 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.pt_BR.fl_str_mv Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado.
dc.title.alternative.pt_BR.fl_str_mv 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.
Engenharia Elétrica
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
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.advisor1.fl_str_mv LIMA, Antonio Marcus Nogueira.
dc.contributor.advisor1ID.fl_str_mv LIMA, A. M. N.
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/2237395961717699
dc.contributor.referee1.fl_str_mv BARROSO, Giovanni Cordeiro.
dc.contributor.referee2.fl_str_mv TURNELL, Maria de Fátima Queiroz Vieira.
dc.contributor.referee3.fl_str_mv PERKUSICH, Angelo.
dc.contributor.authorID.fl_str_mv SILVA, V. P.
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/9352188592417710
dc.contributor.author.fl_str_mv SILVA, Vanderley Pereira da.
contributor_str_mv LIMA, Antonio Marcus Nogueira.
BARROSO, Giovanni Cordeiro.
TURNELL, Maria de Fátima Queiroz Vieira.
PERKUSICH, Angelo.
dc.subject.cnpq.fl_str_mv Engenharia Elétrica
topic Engenharia Elétrica
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
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
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.issued.fl_str_mv 1999-08-16
dc.date.accessioned.fl_str_mv 2020-01-24T17:50:24Z
dc.date.available.fl_str_mv 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
dc.identifier.citation.fl_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.
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
dc.publisher.program.fl_str_mv PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
dc.publisher.initials.fl_str_mv UFCG
dc.publisher.country.fl_str_mv Brasil
dc.publisher.department.fl_str_mv Centro de Engenharia Elétrica e Informática - CEEI
publisher.none.fl_str_mv Universidade Federal de Campina Grande
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
bitstream.url.fl_str_mv https://dspace.sti.ufcg.edu.br/bitstream/riufcg/11211/4/VANDERLEY+PEREIRA+DA+SILVA-+DISSERTA%C3%87%C3%83O+PPGEE+1999.pdf.txt
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/11211/3/VANDERLEY+PEREIRA+DA+SILVA-+DISSERTA%C3%87%C3%83O+PPGEE+1999.pdf
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/11211/2/license.txt
bitstream.checksum.fl_str_mv fcd551eae76747ae2b8f9f1fa0797d54
904b9a4c44bef220f1043c6bf90ffbd2
8a4605be74aa9ea9d79846c1fba20a33
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
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_ 1863363464182890496

Registros relacionados