Coordenação em sistemas multi-robôs utilizando métodos baseados em autômatos

Detalhes bibliográficos
Autor(a) principal: Pavei, Jonatas
Data de Publicação: 2011
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/95332
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
id UFSC_a8fdb24fcea9893bea21cb7103090e93
oai_identifier_str oai:repositorio.ufsc.br:123456789/95332
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Universidade Federal de Santa CatarinaPavei, JonatasFarines, Jean MarieCury, Jose Eduardo R2012-10-26T00:17:29Z2012-10-26T00:17:29Z20112011299358http://repositorio.ufsc.br/xmlui/handle/123456789/95332Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Automação e SistemasO problema da coordenação de um sistema multi-robôs, que pode realizar atividades mais complexas e de forma mais rápida e eficiente que um único robô, é um tema complexo que apresenta um importante desafio de pesquisa. O planejamento de trajetórias e de tarefas são alguns dos problemas fundamentais dos sistemas multi-robôs e se referem a encontrar caminhos livres de colisão para cada robô determinado a realizar uma dada tarefa. Obviamente, para alcançar estes caminhos livres de colisão, algum tipo de coordenação é indispensável. Para garantir propriedades de segurança e alcançabilidade, este trabalho se interessa em estudar o uso de técnicas de modelagem e de verificação formal na solução deste tipo de problema. Para tal, duas diferentes técnicas para a solução do planejamento e coordenação de sistemas multi-robôs foram abordadas. Na primeira técnica, Teoria de Controle Supervisório, o problema consiste em calcular o supervisor ótimo que representa a lógica de controle utilizada para o planejamento de tarefas. Na segunda técnica, Autômato Jogo-Temporizado, uma estratégia é sintetizada para o planejamento de tarefas dos robôs que considera um jogo entre o ambiente e o controlador evidenciando a reatividade destes sistemas e a constante busca da vitória por parte do controlador em termos de segurança e alcançabilidade. Por fim, uma arquitetura genérica para a implementação de sistemas multi-robôs foi desenvolvida para fornecer desde o planejamento de tarefas ao controle contínuo dos robôs. Desta maneira, este trabalho avalia diferentes métodos formais para o desenvolvimento do planejamento e coordenação de sistemas multi-robôs, além de reproduzir os resultados das técnicas em um ambiente real.The coordination problem of a multi-robot system to accomplish complex activities and in a faster and more effcient way than a single robot is a complex issue that presents a major research challenge. The path and task planning are some of the fundamental problems of multi-robot systems and corresponds to and collision-free paths for each robot to accomplish an individual given task. Obviously, to achieve these collision-free paths, some kind of coordination is essential. For this purpose, two different techniques for solving the planning and the coordination of multi-robot systems have been tackled. In the frst technique, the Supervisory Control Theory, the problem consists to calculate the optimal supervisor representing the control logic used for task planning. In the second technique, Timed Game tomata, a strategy is synthesized for the robot task planning that take account a game between the environment and the controller showing the reactivity of these systems and the constant seek for the victory by the controller in terms of safety and reachability. Finally, a generic architecture for the implementation of a multi-robot system is designed to provide resources from task planning to the continuous control. Thus, this work evaluates different formal methods for the development of planning and coordination of multi-robots systems, besides to reproduce the results of the techniques in a real environment.143 p.| il., tabs.porFlorianópolis, SCEngenharia de sistemasRobosAutomaçãoTopologiaCoordenação em sistemas multi-robôs utilizando métodos baseados em autômatosinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINAL299358.pdfapplication/pdf2860654https://repositorio.ufsc.br/bitstream/123456789/95332/1/299358.pdfb2ea0290e3da6025c48584110876d408MD51TEXT299358.pdf.txt299358.pdf.txtExtracted Texttext/plain225002https://repositorio.ufsc.br/bitstream/123456789/95332/2/299358.pdf.txta530f69ae204c8d1bfd45a9660f64e75MD52THUMBNAIL299358.pdf.jpg299358.pdf.jpgGenerated Thumbnailimage/jpeg1218https://repositorio.ufsc.br/bitstream/123456789/95332/3/299358.pdf.jpga96034d67055bf68f640c17091a14602MD53123456789/953322016-03-07 15:58:21.223oai:repositorio.ufsc.br:123456789/95332Repositório de PublicaçõesPUBhttp://150.162.242.35/oai/requestopendoar:23732016-03-07T18:58:21Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.pt_BR.fl_str_mv Coordenação em sistemas multi-robôs utilizando métodos baseados em autômatos
title Coordenação em sistemas multi-robôs utilizando métodos baseados em autômatos
spellingShingle Coordenação em sistemas multi-robôs utilizando métodos baseados em autômatos
Pavei, Jonatas
Engenharia de sistemas
Robos
Automação
Topologia
title_short Coordenação em sistemas multi-robôs utilizando métodos baseados em autômatos
title_full Coordenação em sistemas multi-robôs utilizando métodos baseados em autômatos
title_fullStr Coordenação em sistemas multi-robôs utilizando métodos baseados em autômatos
title_full_unstemmed Coordenação em sistemas multi-robôs utilizando métodos baseados em autômatos
title_sort Coordenação em sistemas multi-robôs utilizando métodos baseados em autômatos
author Pavei, Jonatas
author_facet Pavei, Jonatas
author_role author
dc.contributor.pt_BR.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Pavei, Jonatas
dc.contributor.advisor1.fl_str_mv Farines, Jean Marie
dc.contributor.advisor-co1.fl_str_mv Cury, Jose Eduardo R
contributor_str_mv Farines, Jean Marie
Cury, Jose Eduardo R
dc.subject.classification.pt_BR.fl_str_mv Engenharia de sistemas
Robos
Automação
Topologia
topic Engenharia de sistemas
Robos
Automação
Topologia
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
publishDate 2011
dc.date.submitted.pt_BR.fl_str_mv 2011
dc.date.issued.fl_str_mv 2011
dc.date.accessioned.fl_str_mv 2012-10-26T00:17:29Z
dc.date.available.fl_str_mv 2012-10-26T00:17:29Z
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/95332
dc.identifier.other.pt_BR.fl_str_mv 299358
identifier_str_mv 299358
url http://repositorio.ufsc.br/xmlui/handle/123456789/95332
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 143 p.| il., tabs.
dc.publisher.none.fl_str_mv Florianópolis, SC
publisher.none.fl_str_mv Florianópolis, SC
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/95332/1/299358.pdf
https://repositorio.ufsc.br/bitstream/123456789/95332/2/299358.pdf.txt
https://repositorio.ufsc.br/bitstream/123456789/95332/3/299358.pdf.jpg
bitstream.checksum.fl_str_mv b2ea0290e3da6025c48584110876d408
a530f69ae204c8d1bfd45a9660f64e75
a96034d67055bf68f640c17091a14602
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_ 1766805209827246080

Registros relacionados