Este projeto visa desenvolver me?todos para si?...este projeto visa desenvolver me?todos para si?ntese e validac?a?o de algoritmos de coordenac?a?o de sistemas multi-robo?s. a pesquisa se concentrara? especialmente em algoritmos descentralizados e baseados em formalismos a eventos discretos e hi?bridos. aspectos pra?ticos da implementac?a?o de tais algoritmos em robo?s, como limitac?o?es de processamento e memo?ria de cada robo?, atrasos na comunicac?a?o entre robo?s, bem como falhas em componentes e/ou em robo?s completos tambe?m sera?o abordados. para teste do ferramental teo?rico desenvolvido no a?mbito do projeto, sera?o construi?dos 50 robo?s, a partir do projeto desenvolvido pela universidade de harvard voltado a aplicac?o?es do tipo ?swarm robots?. objetivos gerais: desenvolver e verificar formalmente algoritmos de coordenac?a?o de sistemas multi-robo?s em cena?rios sujeitos a falhas, utilizando me?todos formais da teoria de sistemas a eventos discretos e hi?bridos; construir robo?s baratos e miniaturizados para uso em aplicac?o?es gerais de ?swarm robots e para validac?a?o de ideias teo?ricas desenvolvidas ao longo do projeto.