On the need for communication in distributed implementations of LTL motion specifications

M Kloetzer, S Itani, S Birch, C Belta
2010 2010 IEEE International Conference on Robotics and Automation  
We revisit the problem of automatic deployment of robotic teams from temporal logic specifications over regions of interests in the environment. In our previous work, we developed an algorithm that could accommodate arbitrary communication constraints, but had two main limitations: (1) it only allowed for communicating robots to move, and (2) it was computationally very expensive. In this paper, we present two approaches to address these limitations. First, we show that if identical robots are
more » ... entical robots are allowed to communicate for all times, then the computation is cheaper. Second, we develop an algorithm to test if a given global specification can be implemented by the robots without the move-only-when-communicate constraint.
doi:10.1109/robot.2010.5509326 dblp:conf/icra/KloetzerIBB10 fatcat:bqomgfu33ff7pmexlfdezns2ba