Using a designed vector field to guide robots to follow a given geometric desired path has found a range of practical applications, such as underwater pipeline inspection, warehouse navigation, and highway traffic monitoring. It is thus in great need to build a rigorous theory to guide practical implementations with formal guarantees. It is even so when multiple robots are required to follow predefined desired paths or maneuver on surfaces and coordinate their motions to efficiently accomplish repetitive and laborious tasks.