Supervisory Control Theory for Controlling Swarm Robotics Systems