Swarm intelligence in autonomous collective robotics : from tools to the analysis and synthesis of distributed control strategies