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

Detalhes bibliográficos
Autor(a) principal: Pinha, Denis da Cruz
Data de Publicação: 2012
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: 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 2373
spelling Universidade Federal de Santa CatarinaPinha, Denis da CruzQueiroz, Max Hering deCury, Jose Eduardo R2012-10-25T03:34:21Z2012-10-25T03:34:21Z2012-10-25T03:34:21Z282702http://repositorio.ufsc.br/xmlui/handle/123456789/93804Dissertaçã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.1 v.| il., tabs.porAutomaçãoEngenharia de sistemasRobosEstaleirosReparos e reconstrucaoSistemas a eventos discretosEscalonamento ótimo baseado na teoria de controle supervisório aplicado a um estaleiro de reparo navalinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINAL282702.pdfapplication/pdf3991929https://repositorio.ufsc.br/bitstream/123456789/93804/1/282702.pdf771ec652df5aad4f644248a988a82aedMD51TEXT282702.pdf.txt282702.pdf.txtExtracted Texttext/plain183438https://repositorio.ufsc.br/bitstream/123456789/93804/2/282702.pdf.txtf0639f7f57ccc57a56562a8681222b66MD52THUMBNAIL282702.pdf.jpg282702.pdf.jpgGenerated Thumbnailimage/jpeg1078https://repositorio.ufsc.br/bitstream/123456789/93804/3/282702.pdf.jpg2ccab6610a2268052ee2e1aa6bca611fMD53123456789/938042016-03-07 15:58:20.963oai:repositorio.ufsc.br:123456789/93804Repositório de PublicaçõesPUBhttp://150.162.242.35/oai/requestopendoar:23732016-03-07T18:58:20Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.pt_BR.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.pt_BR.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Pinha, Denis da Cruz
dc.contributor.advisor1.fl_str_mv Queiroz, Max Hering de
dc.contributor.advisor-co1.fl_str_mv Cury, Jose Eduardo R
contributor_str_mv Queiroz, Max Hering de
Cury, Jose Eduardo R
dc.subject.classification.pt_BR.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.accessioned.fl_str_mv 2012-10-25T03:34:21Z
dc.date.available.fl_str_mv 2012-10-25T03:34:21Z
dc.date.issued.fl_str_mv 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 http://repositorio.ufsc.br/xmlui/handle/123456789/93804
dc.identifier.other.pt_BR.fl_str_mv 282702
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.
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
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/93804/1/282702.pdf
https://repositorio.ufsc.br/bitstream/123456789/93804/2/282702.pdf.txt
https://repositorio.ufsc.br/bitstream/123456789/93804/3/282702.pdf.jpg
bitstream.checksum.fl_str_mv 771ec652df5aad4f644248a988a82aed
f0639f7f57ccc57a56562a8681222b66
2ccab6610a2268052ee2e1aa6bca611f
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1766805356876398592

Registros relacionados