Engineering Controllers for Swarm Robotics Via Reachability Analysis in Hybrid Systems