Human-Swarm Interface for Abstraction Based Control