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
Brasil
ENG - DEPARTAMENTO DE ENGENHARIA ELÉTRICA
Programa de Pós-Graduação em Engenharia Elétrica
UFMG
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: http://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.