Provable Emergent Pattern Formation by a Swarm of Anonymous, Homogeneous, Non-Communicating, Reactive Robots with Limited Relative Sensing and no Global Knowledge or Positioning

no code implementations • 18 Apr 2018 • Mario Coppola, Jian Guo, Eberhard K. A. Gill, Guido C. H. E. de Croon

We then formally show that these local states can only coexist when the global desired pattern is achieved and that, until this occurs, there is always a sequence of actions that will lead from the current pattern to the desired pattern.

Robotics