Multi-robots coordination system for urban search and rescue post-disaster assistance based on supervisory control theory

Detalhes bibliográficos
Autor(a) principal: Simon, Marcelo Elias
Data de Publicação: 2022
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/handle/123456789/234837
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, 2022.
id UFSC_8bfa7d663d91ad4da7aa40c440cf02f9
oai_identifier_str oai:repositorio.ufsc.br:123456789/234837
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Universidade Federal de Santa CatarinaSimon, Marcelo EliasQueiroz, Max Hering deBaldissera, Fabio Luis2022-05-19T14:50:11Z2022-05-19T14:50:11Z2022374635https://repositorio.ufsc.br/handle/123456789/234837Dissertaçã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, 2022.A aplicação de robôs em Busca e Resgate de Acidentes Urbanos (USAR - Urban Search and Rescue) tem recebido maior atenção da comunidade científica por possibilitar uma redução nos tempos de busca por vítimas e riscos enfrentados por equipes humanas. Entretanto, as tecnologias atuais ainda não proveem a robustez, confiabilidade e segurança necessárias para implementação de robôs em meio a equipes humanas atuando em USAR. Neste trabalho propomos um Sistema de Coordenação Multi-robôs (MCS - Multi-robots Coordination System), o qual implementa uma abordagem reativa/deliberativa com o objetivo de fornecer esta tão necessária confiabilidade e segurança. Os robôs e suas restrições foram modelados por modelos formais, para que pudéssemos sintetizar supervisores pela Teoria de Controle Supervisório. Ao implementar esses supervisores no sistema de controle de cada robô, formulamos a camada reativa, a qual delimita ao sistema quais comportamentos atendem às especificações projetadas. Para definir a ação mais eficiente dentre as habilitadas pelos supervisores, um Gerenciador de Tarefas (Task Manager) é responsável por deliberar o comportamento do robô. Para garantir uma maior eficiência na execução das tarefas solicitadas, um componente centralizado chamado Task Dispatcher é então responsável por definir a melhor alocação de tarefas para os robôs com base em seu status atual e sequências de tarefas (missões) requeridas por um humano. A integração total dos componentes do MCS foi implementada pelo framework ROS (do inglês, Robotic Operating System) com o objetivo de validar a arquitetura proposta através de um ambiente simulado. Foi projetado um cenário composto por dois robôs terrestres e dois robôs aéreos aplicados a uma cena pós-desastre. Missões foram solicitadas de acordo com os procedimentos comuns de agências USAR internacionais. Como resultado da arquitetura proposta, o MCS fornece maior confiabilidade aos comportamentos dos robôs, por ser um sistema baseado em formalismos corretos por construção. Além disso, a camada reativa mostrou potencial de ser escalável, apresentando um consumo computacional máximo de apenas 5,7% do sistema de robôs terrestres e 2,3% da capacidade de robôs aéreos. Portanto, o sistema proposto fornece uma alternativa para que robôs sejam aplicados em USAR de forma que suas ações sejam executadas de forma segura.Abstract: The application of robots in Urban Search and Rescue (USAR) has received an increasing attention from the scientific community to reduce the time needed to find victims and risks faced by human teams. However, current technologies still do not provide the robustness, reliability and security required for implementing robots as part of human teams working in USAR. In this work we propose a Multi-robots Coordination System (MCS) which implements a reactive/deliberative approach in order to provide this much-needed reliability and security. The robots and their constraints were modeled by formal models, so that we could synthesize supervisors by the Supervisory Control Theory (SCT). By implementing these supervisors in the control system of each robot, we formulate the reactive layer, which delimits to the system which behaviors attain to the designed specifications. To define the most efficient action among those enabled by supervisors, a Task Manager is responsible for deliberating the robot's behavior. To ensure greater efficiency in executing the requested tasks, a centralized component called Task Dispatcher is then responsible for defining the best task allocation for robots based on their current status and task sequences (missions) required by a human. The total integration of MCS components was implemented in the Robotic Operating System (ROS) framework in order to validate the proposed architecture through a simulated environment. A scenario consisting of two ground robots and two aerial robots was designed and applied to a post-disaster scene. Missions were requested according to the common procedures of international USAR agencies. As a result of the proposed architecture, the MCS provides greater reliability to the behavior of robots, as it is a system based on correct by construction formalisms. In addition, the reactive layer showed potential to be scalable, presenting a maximum computational consumption of only 5.7% of the ground robot system and 2.3% of the capacity of aerial robots. Therefore, the proposed system provides an alternative for robots to be applied in USAR so that their actions are performed safely.118 p.| il., gráfs.engEngenharia de sistemasAutomaçãoRobôsSistemas de controle supervisórioOperações de busca e salvamentoMulti-robots coordination system for urban search and rescue post-disaster assistance based on supervisory control theoryinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINALPEAS0403-D.pdfPEAS0403-D.pdfapplication/pdf43232273https://repositorio.ufsc.br/bitstream/123456789/234837/-1/PEAS0403-D.pdfbe72accb4bc207c4cdcdb25e76dabb20MD5-1123456789/2348372022-05-19 11:50:11.246oai:repositorio.ufsc.br:123456789/234837Repositório de PublicaçõesPUBhttp://150.162.242.35/oai/requestopendoar:23732022-05-19T14:50:11Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Multi-robots coordination system for urban search and rescue post-disaster assistance based on supervisory control theory
title Multi-robots coordination system for urban search and rescue post-disaster assistance based on supervisory control theory
spellingShingle Multi-robots coordination system for urban search and rescue post-disaster assistance based on supervisory control theory
Simon, Marcelo Elias
Engenharia de sistemas
Automação
Robôs
Sistemas de controle supervisório
Operações de busca e salvamento
title_short Multi-robots coordination system for urban search and rescue post-disaster assistance based on supervisory control theory
title_full Multi-robots coordination system for urban search and rescue post-disaster assistance based on supervisory control theory
title_fullStr Multi-robots coordination system for urban search and rescue post-disaster assistance based on supervisory control theory
title_full_unstemmed Multi-robots coordination system for urban search and rescue post-disaster assistance based on supervisory control theory
title_sort Multi-robots coordination system for urban search and rescue post-disaster assistance based on supervisory control theory
author Simon, Marcelo Elias
author_facet Simon, Marcelo Elias
author_role author
dc.contributor.none.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Simon, Marcelo Elias
dc.contributor.advisor1.fl_str_mv Queiroz, Max Hering de
dc.contributor.advisor-co1.fl_str_mv Baldissera, Fabio Luis
contributor_str_mv Queiroz, Max Hering de
Baldissera, Fabio Luis
dc.subject.classification.none.fl_str_mv Engenharia de sistemas
Automação
Robôs
Sistemas de controle supervisório
Operações de busca e salvamento
topic Engenharia de sistemas
Automação
Robôs
Sistemas de controle supervisório
Operações de busca e salvamento
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, 2022.
publishDate 2022
dc.date.accessioned.fl_str_mv 2022-05-19T14:50:11Z
dc.date.available.fl_str_mv 2022-05-19T14:50:11Z
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/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://repositorio.ufsc.br/handle/123456789/234837
dc.identifier.other.none.fl_str_mv 374635
identifier_str_mv 374635
url https://repositorio.ufsc.br/handle/123456789/234837
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 118 p.| il., gráfs.
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/234837/-1/PEAS0403-D.pdf
bitstream.checksum.fl_str_mv be72accb4bc207c4cdcdb25e76dabb20
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1766805372158345216