A modular synthesis approach for the coordination of systems with multiple agents2

Detalhes bibliográficos
Ano de defesa: 2023
Autor(a) principal: Rosa, Marcelo
Orientador(a): Cury, José Eduardo Ribeiro
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: eng
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
Link de acesso: https://repositorio.ufsc.br/handle/123456789/261213
Resumo: Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2023.
id UFSC_a942ffe55bb085ff769743fce66b53f7
oai_identifier_str oai:repositorio.ufsc.br:123456789/261213
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str
spelling Universidade Federal de Santa CatarinaRosa, MarceloCury, José Eduardo RibeiroBaldissera, Fabio Luis2024-11-28T18:25:43Z2024-11-28T18:25:43Z2023388969https://repositorio.ufsc.br/handle/123456789/261213Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2023.Nesta tese, nós tratamos do problema de coordenar múltiplos agentes para realizar uma tarefa global. Esse problema consiste em um conjunto de agentes divididos em times de agentes homogêneos. Esses agentes interagem entre si para completar, de forma autônoma, uma tarefa global comum, que pode ser representada por um conjunto de etapas finitas. Para realizar a tarefa global, os agentes estão sujeitos a um conjunto de especificações de controle local. Para coordenar as ações dos agentes, cada agente possui seu próprio controlador local (supervisor). Devido ao fato de que os agentes de uma equipe são exatamente os mesmos tanto em hardware quanto em software de controle, o comportamento em malha aberta de qualquer agente de um time pode ser representado por um template, bem como suas especificações de controle local. A nossa abordagem baseia-se na Teoria de Controle Supervisório e deriva condições suficientes que nos permitem sintetizar para cada time um template de supervisor local a partir dos templates associados ao time e ao modelo de tarefa global de tal forma que, quando este template de supervisor é instanciado para os agentes do time, a tarefa global pode ser concluída pela ação conjunta de todos os agentes do sistema. Nossas condições suficientes também garantem que um conjunto de supervisores templates calculado não precise ser recalculado ou reconfigurado sempre que agentes forem adicionados ou removidos dos times. Um exemplo de construção robótica 3D é fornecido para ilustrar nossa abordagem.Abstract: In this thesis, we deal with the problem of coordinating multiple agents to accomplish a global task. This problem consists of a set of agents divided into teams of homogeneous agents. These agents interact with each other to autonomously complete a common global task, which can be depicted by a set of finite steps. To carry out the global task, the agents are subject to a set of local control specifications. To coordinate the actions of the agents, each agent has its own local controller (supervisor). Due to the fact that agents in a team are exactly the same both in hardware and control software, the open-loop behavior of any agent in a team can be represented by a template, as well as its local control specifications. Our approach is based on the Supervisory Control Theory and it derives sufficient conditions that allow us to synthesize for each team a local supervisor template from templates associated with the team and the global task model in such a way that, when this supervisor template is instantiated for the agents in the team, the global task can be completed by the coordinated action of all agents in the system. Our sufficient conditions also guarantee that a computed set of supervisor templates does not need to be recomputed or reconfigured whenever agents are added or removed from teams. An example of 3D robotic construction is provided to illustrate our approach.138 p.| il.engEngenharia de sistemasAutomaçãoSistemas multiagentesTeoria do controleAgentes inteligentes (Software)A modular synthesis approach for the coordination of systems with multiple agents2info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINALPEAS0438-T.pdfPEAS0438-T.pdfapplication/pdf2022471https://repositorio.ufsc.br/bitstream/123456789/261213/-1/PEAS0438-T.pdfc8ea41200b771915cf70001fcd99d9edMD5-1123456789/2612132024-11-28 15:25:43.871oai:repositorio.ufsc.br:123456789/261213Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestsandra.sobrera@ufsc.bropendoar:23732024-11-28T18:25:43Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv A modular synthesis approach for the coordination of systems with multiple agents2
title A modular synthesis approach for the coordination of systems with multiple agents2
spellingShingle A modular synthesis approach for the coordination of systems with multiple agents2
Rosa, Marcelo
Engenharia de sistemas
Automação
Sistemas multiagentes
Teoria do controle
Agentes inteligentes (Software)
title_short A modular synthesis approach for the coordination of systems with multiple agents2
title_full A modular synthesis approach for the coordination of systems with multiple agents2
title_fullStr A modular synthesis approach for the coordination of systems with multiple agents2
title_full_unstemmed A modular synthesis approach for the coordination of systems with multiple agents2
title_sort A modular synthesis approach for the coordination of systems with multiple agents2
author Rosa, Marcelo
author_facet Rosa, Marcelo
author_role author
dc.contributor.none.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Rosa, Marcelo
dc.contributor.advisor1.fl_str_mv Cury, José Eduardo Ribeiro
dc.contributor.advisor-co1.fl_str_mv Baldissera, Fabio Luis
contributor_str_mv Cury, José Eduardo Ribeiro
Baldissera, Fabio Luis
dc.subject.classification.none.fl_str_mv Engenharia de sistemas
Automação
Sistemas multiagentes
Teoria do controle
Agentes inteligentes (Software)
topic Engenharia de sistemas
Automação
Sistemas multiagentes
Teoria do controle
Agentes inteligentes (Software)
description Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2023.
publishDate 2023
dc.date.issued.fl_str_mv 2023
dc.date.accessioned.fl_str_mv 2024-11-28T18:25:43Z
dc.date.available.fl_str_mv 2024-11-28T18:25:43Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://repositorio.ufsc.br/handle/123456789/261213
dc.identifier.other.none.fl_str_mv 388969
identifier_str_mv 388969
url https://repositorio.ufsc.br/handle/123456789/261213
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 138 p.| il.
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/261213/-1/PEAS0438-T.pdf
bitstream.checksum.fl_str_mv c8ea41200b771915cf70001fcd99d9ed
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 sandra.sobrera@ufsc.br
_version_ 1851758855541751808

Registros relacionados