Decentralized control of robotic swarms from high-level temporal logic specifications

  title={Decentralized control of robotic swarms from high-level temporal logic specifications},
  author={Salar Moarref and Hadas Kress-Gazit},
  journal={2017 International Symposium on Multi-Robot and Multi-Agent Systems (MRS)},
Work in swarm robotics typically focuses on the bottom-up design of local rules for individual robots that create emergent swarm behaviors. In this paper, we take a top-down approach and consider the following problem: how can we specify a desired collective behavior and automatically synthesize decentralized controllers that can be distributed over robots to achieve the collective objective in a provably correct way? We propose a formal specification language for the high-level description of… CONTINUE READING
4 Citations
15 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 15 references

Similar Papers

Loading similar papers…