A framework of space–time continuous models for algorithm design in swarm robotics