Modelagem e síntese para coordenação de sistemas multi-robôs baseada numa estrutura de jogo

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Automação e SistemasAo longo das últimas décadas, Sistemas Multi-Robôs (SMR) têm sido aplicados a diversas áreas com o intuito de aumentar a eficiência e a robustez na execução das tarefas a serem desempenhadas por eles. Problemas de planejamento de trajetória e de tarefas são alguns dos principais desafios desta área, destacando-se que a separação entre estes níveis de planejamento permite que o problema de controle seja abordado em diferentes níveis de abstração. Neste trabalho, é tratado o problema de planejamento de tarefas na coordenação de SMRs, utilizando métodos baseados em estruturas de jogos. Especificamente, é analisada a aplicabilidade desta teoria na geração de controladores que garantam segurança na execução das aplicações, evitando comportamentos de colisão entre robôs ou com outros objetos do espaço de trabalho. Além disso, também é analisado o aspecto da obtenção de estratégias que sejam tolerantes a falta. Foram propostos princípios de modelagem, considerando o método proposto em Piterman et al. (2006), a partir dos quais várias aplicações foram modeladas. Uma vez modeladas as aplicações, foram obtidas estratégias de coordenação para cada um dos casos e, a partir dos coordenadores gerados, foram realizados experimentos e analisadas a aplicabilidade de estruturas de jogos no problema de coordenação de SMRs.Over last decades, Multi-Robot Systems (MRS) have been applied in several areas in order to increase the efficiency and robustness in tasks execution. Path and tasks planning problems are among the main challenges in this area, pointing out that the separation between these levels of planning allows the control problem be approached at different levels of abstraction. This work is concerned with the problem of tasks planning in the coordination of MRS, using methods based on games# structures. Specifically, it is analyzed the applicability of this theory in the generation of controllers that ensure safety in the execution of applications, avoiding behaviors as collision with other robots or objects in the workspace. Furthermore, it is also analyzed obtaining aspects of fault tolerant strategies. Modeling principles have been proposed, considering the method proposed in Piterman et al.(2006), from which several applications have been modeled. Once modeled the applications, were obtained coordinating strategies for each case, and from the generated coordinators, experiments were performed and it was analyzed the applicability of game structures in the problem of coordinating MRS