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