Escalonamento ótimo baseado na teoria de controle supervisório aplicado a um estaleiro de reparo naval

Detalhes bibliográficos
Ano de defesa: 2012
Autor(a) principal: Pinha, Denis da Cruz
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: Não Informado pela instituição
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://repositorio.ufsc.br/xmlui/handle/123456789/93804
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-graduação em Engenharia de Automação e Sistemas, Florianópolis, 2010
id UFSC_607e493d865169a9898383c11d8df6f6
oai_identifier_str oai:repositorio.ufsc.br:123456789/93804
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str
spelling Escalonamento ótimo baseado na teoria de controle supervisório aplicado a um estaleiro de reparo navalAutomaçãoEngenharia de sistemasRobosEstaleirosReparos e reconstrucaoSistemas a eventos discretosDissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-graduação em Engenharia de Automação e Sistemas, Florianópolis, 2010A Teoria de Controle Supervisório (TCS) permite a síntese automática de supervisores não bloqueantes que habilitem todas e apenas as sequências que satisfaçam especificações de segurança para um sistema a eventos discretos temporizado. O supervisor ótimo que satisfaz as especificações de recursos, roteiros e prazos para problema do tipo jobshop contém todas as soluções de escalonamento possíveis. No entanto, o crescimento do número de estados dos modelos pode inviabilizar a solução para problemas reais. Nessa pesquisa, uma nova proposta de modelagem dos autômatos temporizados é desenvolvida com o objetivo de reduzir o tamanho dos modelos. Propõe-se também um algoritmo eficiente para síntese de escalonamento baseada na composição incremental dos roteiros de produção e prazos das tarefas e um método de bissecção para minimização do tempo de produção global e também dos tempos de produção de cada tarefa. Este método é aplicado a um estaleiro de reparo naval para o escalonamento das atividades nos cinco recursos principais para execução de dez obras distintas. Também foi desenvolvido um sistema que integra o planejamento da produção com uma ferramenta de síntese automática de supervisores para que o usuário não precise estar familiarizado com a TCS.The Supervisory Control Theory (SCT) allows automatic synthesis of nonblocking supervisors that ensures safety specifications to a timed discrete event system. The optimal supervisory that ensures the resources specifications, production routers, and due dates to the problem of jobshops provides all the possible solutions of scheduling. However, the size of the state space of the models can make impracticable the solution of such a problem. In this dissertation, a new modeling approach is proposed for the timed automata models in order to expressively reduce the size of the models. Also, it is proposed an efficient algorithm for the optimal schedules based on an incremental synthesis of the production routers and due dates. A method of bisection was developed to minimize of total production time and the lead times of jobs as well. This method is applied to a repair shipyard to schedule its activities in the five main resources and ten orders. From the research was developed a system that integrates the production planning with a tool of automatic synthesis of supervisors in order to make the interface an easier place for those users who are not used to SCT.Queiroz, Max Hering deCury, Jose Eduardo RUniversidade Federal de Santa CatarinaPinha, Denis da Cruz2012-10-25T03:34:21Z2012-10-25T03:34:21Z2012-10-25T03:34:21Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis1 v.| il., tabs.application/pdf282702http://repositorio.ufsc.br/xmlui/handle/123456789/93804porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2016-03-07T18:58:20Zoai:repositorio.ufsc.br:123456789/93804Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732016-03-07T18:58:20Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Escalonamento ótimo baseado na teoria de controle supervisório aplicado a um estaleiro de reparo naval
title Escalonamento ótimo baseado na teoria de controle supervisório aplicado a um estaleiro de reparo naval
spellingShingle Escalonamento ótimo baseado na teoria de controle supervisório aplicado a um estaleiro de reparo naval
Pinha, Denis da Cruz
Automação
Engenharia de sistemas
Robos
Estaleiros
Reparos e reconstrucao
Sistemas a eventos discretos
title_short Escalonamento ótimo baseado na teoria de controle supervisório aplicado a um estaleiro de reparo naval
title_full Escalonamento ótimo baseado na teoria de controle supervisório aplicado a um estaleiro de reparo naval
title_fullStr Escalonamento ótimo baseado na teoria de controle supervisório aplicado a um estaleiro de reparo naval
title_full_unstemmed Escalonamento ótimo baseado na teoria de controle supervisório aplicado a um estaleiro de reparo naval
title_sort Escalonamento ótimo baseado na teoria de controle supervisório aplicado a um estaleiro de reparo naval
author Pinha, Denis da Cruz
author_facet Pinha, Denis da Cruz
author_role author
dc.contributor.none.fl_str_mv Queiroz, Max Hering de
Cury, Jose Eduardo R
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Pinha, Denis da Cruz
dc.subject.por.fl_str_mv Automação
Engenharia de sistemas
Robos
Estaleiros
Reparos e reconstrucao
Sistemas a eventos discretos
topic Automação
Engenharia de sistemas
Robos
Estaleiros
Reparos e reconstrucao
Sistemas a eventos discretos
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-graduação em Engenharia de Automação e Sistemas, Florianópolis, 2010
publishDate 2012
dc.date.none.fl_str_mv 2012-10-25T03:34:21Z
2012-10-25T03:34:21Z
2012-10-25T03:34:21Z
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 282702
http://repositorio.ufsc.br/xmlui/handle/123456789/93804
identifier_str_mv 282702
url http://repositorio.ufsc.br/xmlui/handle/123456789/93804
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 1 v.| il., tabs.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808653337292177408