Formalization of mobile robot tasks

Detalhes bibliográficos
Autor(a) principal: Flores, Bernardo Hummes
Data de Publicação: 2022
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório Institucional da UFRGS
Texto Completo: http://hdl.handle.net/10183/251712
Resumo: A coordenação e operação de robôs sem supervisão requere ferramentas capazes de representar o vasto número de possíveis evoluções de uma missão. Este trabalho é um estudo da formalização categórica e lógica de tarefas de robôs móveis, fazendo uso de conexões entre robótica, computação distribuída e lógica modal. Uma demonstração da equivalências entre lógica modal e topologia combinatória é exibida como o primeiro elemento de uma perspectiva unificada, junto dos seus usos. Uma discussão segue com as conexões entre modelos em computação distribuída e robótica, onde resultados iniciais na formalização de tarefas de robôs são acompanhados por considerações nas seus usos para missões de encontro e exploração. Este trabalho encerra com a proposta de uma formalização que extende a anterior encontrada na literatura com a capacidade de lidar com robôs defeituosos, capacidades limitadas de sensoriamento e comportamento incerto.
id UFRGS-2_982d5bbcab8091bcfb644bfad9fd74d0
oai_identifier_str oai:www.lume.ufrgs.br:10183/251712
network_acronym_str UFRGS-2
network_name_str Repositório Institucional da UFRGS
repository_id_str
spelling Flores, Bernardo HummesKolberg, Mariana LuderitzGoubault, Eric2022-11-24T04:46:48Z2022http://hdl.handle.net/10183/251712001153706A coordenação e operação de robôs sem supervisão requere ferramentas capazes de representar o vasto número de possíveis evoluções de uma missão. Este trabalho é um estudo da formalização categórica e lógica de tarefas de robôs móveis, fazendo uso de conexões entre robótica, computação distribuída e lógica modal. Uma demonstração da equivalências entre lógica modal e topologia combinatória é exibida como o primeiro elemento de uma perspectiva unificada, junto dos seus usos. Uma discussão segue com as conexões entre modelos em computação distribuída e robótica, onde resultados iniciais na formalização de tarefas de robôs são acompanhados por considerações nas seus usos para missões de encontro e exploração. Este trabalho encerra com a proposta de uma formalização que extende a anterior encontrada na literatura com a capacidade de lidar com robôs defeituosos, capacidades limitadas de sensoriamento e comportamento incerto.The guaranteed coordination and operation of mobile robots without supervision requires tools capable of representing the vast number of evolving possibilities during a mission. This work studies the categorical and logical formalization of mobile robot tasks, with the use of connections between robotics, distributed computing and modal logics. A demonstration of the equivalences between modal logics and combinatorial topology is shown as the first element for the unified perspective, alongside some of its uses. This is followed by a discussion on the connections between models in distributed computing and robotics, where initial results on the formalization of robot tasks are accompanied by considerations on applications for gathering and exploration missions. The work ends by proposing a formalization that extends the previous one in the literature with the capacity of dealing with faulty robots, limited sensing capabilities and uncertain behavior.application/pdfporRobóticaComputação distribuidaVerificacao formalFormalization of mobile robot tasksFormalização de tarefas de robôs móveis info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPorto Alegre, BR-RS2022Ciência da Computação: Ênfase em Ciência da Computação: Bachareladograduaçãoinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT001153706.pdf.txt001153706.pdf.txtExtracted Texttext/plain160820http://www.lume.ufrgs.br/bitstream/10183/251712/2/001153706.pdf.txtc29b301f6d6779f444410d02df9c9e75MD52ORIGINAL001153706.pdfTexto completo (inglês)application/pdf2639177http://www.lume.ufrgs.br/bitstream/10183/251712/1/001153706.pdf8b8e6bb87b9898f6888efa20e85808f6MD5110183/2517122023-02-08 06:01:09.278282oai:www.lume.ufrgs.br:10183/251712Repositório de PublicaçõesPUBhttps://lume.ufrgs.br/oai/requestopendoar:2023-02-08T08:01:09Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Formalization of mobile robot tasks
dc.title.alternative.pt.fl_str_mv Formalização de tarefas de robôs móveis
title Formalization of mobile robot tasks
spellingShingle Formalization of mobile robot tasks
Flores, Bernardo Hummes
Robótica
Computação distribuida
Verificacao formal
title_short Formalization of mobile robot tasks
title_full Formalization of mobile robot tasks
title_fullStr Formalization of mobile robot tasks
title_full_unstemmed Formalization of mobile robot tasks
title_sort Formalization of mobile robot tasks
author Flores, Bernardo Hummes
author_facet Flores, Bernardo Hummes
author_role author
dc.contributor.author.fl_str_mv Flores, Bernardo Hummes
dc.contributor.advisor1.fl_str_mv Kolberg, Mariana Luderitz
dc.contributor.advisor-co1.fl_str_mv Goubault, Eric
contributor_str_mv Kolberg, Mariana Luderitz
Goubault, Eric
dc.subject.por.fl_str_mv Robótica
Computação distribuida
Verificacao formal
topic Robótica
Computação distribuida
Verificacao formal
description A coordenação e operação de robôs sem supervisão requere ferramentas capazes de representar o vasto número de possíveis evoluções de uma missão. Este trabalho é um estudo da formalização categórica e lógica de tarefas de robôs móveis, fazendo uso de conexões entre robótica, computação distribuída e lógica modal. Uma demonstração da equivalências entre lógica modal e topologia combinatória é exibida como o primeiro elemento de uma perspectiva unificada, junto dos seus usos. Uma discussão segue com as conexões entre modelos em computação distribuída e robótica, onde resultados iniciais na formalização de tarefas de robôs são acompanhados por considerações nas seus usos para missões de encontro e exploração. Este trabalho encerra com a proposta de uma formalização que extende a anterior encontrada na literatura com a capacidade de lidar com robôs defeituosos, capacidades limitadas de sensoriamento e comportamento incerto.
publishDate 2022
dc.date.accessioned.fl_str_mv 2022-11-24T04:46:48Z
dc.date.issued.fl_str_mv 2022
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/251712
dc.identifier.nrb.pt_BR.fl_str_mv 001153706
url http://hdl.handle.net/10183/251712
identifier_str_mv 001153706
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.source.none.fl_str_mv reponame:Repositório Institucional da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Repositório Institucional da UFRGS
collection Repositório Institucional da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/251712/2/001153706.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/251712/1/001153706.pdf
bitstream.checksum.fl_str_mv c29b301f6d6779f444410d02df9c9e75
8b8e6bb87b9898f6888efa20e85808f6
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv
_version_ 1801224644929257472

Registros relacionados