Abstração do supervisor para sistemas com retrabalho visando a solução de um problema de planejamento

Detalhes bibliográficos
Ano de defesa: 2019
Autor(a) principal: Franklin Meer Garcia Acevedo
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Minas Gerais
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:
Engenharia elétrica
Abstração
Planejamento
Propriedade do observador
Teoria de controle supervisório
Link de acesso: https://hdl.handle.net/1843/33429
Resumo: Finite state automata and Supervisory Control Theory (TCS) have been used to model and solve task planning problems in manufacturing systems. By modeling the system using TCS, it ensures security and non-blocking of the system under control, and ensures that the generated solutions can be executed on the system. Working with PO-Abstractions closed-loop behavior allow you to further reduce the universe of planning problem search without losing the qualities that come from TCS. In the present work, an extension of the previous result is made, for the case where the closed-loop behavior abstraction is not a PO-Abstraction. A procedure for building, from a sequence selected by its performance under some criteria, a language that is executable to the end of the plant. This extension makes it possible to use closed-loop behavior abstractions of systems that are not, by nature, PO-Abstractions.
id UFMG_511c84e6e49751e8d83df4c7fe138fb3
oai_identifier_str oai:repositorio.ufmg.br:1843/33429
network_acronym_str UFMG
network_name_str Repositório Institucional da UFMG
repository_id_str
spelling Abstração do supervisor para sistemas com retrabalho visando a solução de um problema de planejamentoEngenharia elétricaAbstraçãoPlanejamentoPropriedade do observadorPlanejamentoTeoria de controle supervisórioAbstraçãoFinite state automata and Supervisory Control Theory (TCS) have been used to model and solve task planning problems in manufacturing systems. By modeling the system using TCS, it ensures security and non-blocking of the system under control, and ensures that the generated solutions can be executed on the system. Working with PO-Abstractions closed-loop behavior allow you to further reduce the universe of planning problem search without losing the qualities that come from TCS. In the present work, an extension of the previous result is made, for the case where the closed-loop behavior abstraction is not a PO-Abstraction. A procedure for building, from a sequence selected by its performance under some criteria, a language that is executable to the end of the plant. This extension makes it possible to use closed-loop behavior abstractions of systems that are not, by nature, PO-Abstractions.CNPq - Conselho Nacional de Desenvolvimento Científico e TecnológicoFAPEMIG - Fundação de Amparo à Pesquisa do Estado de Minas GeraisCAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível SuperiorUniversidade Federal de Minas Gerais2020-05-12T22:01:39Z2025-09-09T00:17:04Z2020-05-12T22:01:39Z2019-12-18info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/1843/33429porFranklin Meer Garcia Acevedoinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFMGinstname:Universidade Federal de Minas Gerais (UFMG)instacron:UFMG2025-09-09T00:17:04Zoai:repositorio.ufmg.br:1843/33429Repositório InstitucionalPUBhttps://repositorio.ufmg.br/oairepositorio@ufmg.bropendoar:2025-09-09T00:17:04Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)false
dc.title.none.fl_str_mv Abstração do supervisor para sistemas com retrabalho visando a solução de um problema de planejamento
title Abstração do supervisor para sistemas com retrabalho visando a solução de um problema de planejamento
spellingShingle Abstração do supervisor para sistemas com retrabalho visando a solução de um problema de planejamento
Franklin Meer Garcia Acevedo
Engenharia elétrica
Abstração
Planejamento
Propriedade do observador
Planejamento
Teoria de controle supervisório
Abstração
title_short Abstração do supervisor para sistemas com retrabalho visando a solução de um problema de planejamento
title_full Abstração do supervisor para sistemas com retrabalho visando a solução de um problema de planejamento
title_fullStr Abstração do supervisor para sistemas com retrabalho visando a solução de um problema de planejamento
title_full_unstemmed Abstração do supervisor para sistemas com retrabalho visando a solução de um problema de planejamento
title_sort Abstração do supervisor para sistemas com retrabalho visando a solução de um problema de planejamento
author Franklin Meer Garcia Acevedo
author_facet Franklin Meer Garcia Acevedo
author_role author
dc.contributor.author.fl_str_mv Franklin Meer Garcia Acevedo
dc.subject.por.fl_str_mv Engenharia elétrica
Abstração
Planejamento
Propriedade do observador
Planejamento
Teoria de controle supervisório
Abstração
topic Engenharia elétrica
Abstração
Planejamento
Propriedade do observador
Planejamento
Teoria de controle supervisório
Abstração
description Finite state automata and Supervisory Control Theory (TCS) have been used to model and solve task planning problems in manufacturing systems. By modeling the system using TCS, it ensures security and non-blocking of the system under control, and ensures that the generated solutions can be executed on the system. Working with PO-Abstractions closed-loop behavior allow you to further reduce the universe of planning problem search without losing the qualities that come from TCS. In the present work, an extension of the previous result is made, for the case where the closed-loop behavior abstraction is not a PO-Abstraction. A procedure for building, from a sequence selected by its performance under some criteria, a language that is executable to the end of the plant. This extension makes it possible to use closed-loop behavior abstractions of systems that are not, by nature, PO-Abstractions.
publishDate 2019
dc.date.none.fl_str_mv 2019-12-18
2020-05-12T22:01:39Z
2020-05-12T22:01:39Z
2025-09-09T00:17:04Z
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://hdl.handle.net/1843/33429
url https://hdl.handle.net/1843/33429
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.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal de Minas Gerais
publisher.none.fl_str_mv Universidade Federal de Minas Gerais
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFMG
instname:Universidade Federal de Minas Gerais (UFMG)
instacron:UFMG
instname_str Universidade Federal de Minas Gerais (UFMG)
instacron_str UFMG
institution UFMG
reponame_str Repositório Institucional da UFMG
collection Repositório Institucional da UFMG
repository.name.fl_str_mv Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)
repository.mail.fl_str_mv repositorio@ufmg.br
_version_ 1856414008226086912

Registros relacionados