A Framework of Space-Time Continuous Models for Algorithm Design in Swarm Robotics