Global-to-Local Design for Self-Organized Task Allocation in Swarms

Abstract

Programming robot swarms is hard because system requirements are formulated at the swarm level (i.e., globally) while control rules need to be coded at the individual robot level (i.e., locally). Connecting global to local levels or vice versa through mathematical modeling to predict the system behavior is generally assumed to be the grand challenge of swarm robotics. We propose to approach this problem by programming directly at the swarm level. Key to this solution is the use of heterogeneous swarms that combine appropriate subsets of agents whose hard-coded agent behaviors have known global effects. Our novel global-to-local design methodology allows to compose heterogeneous swarms for the example application of self-organized task allocation. We define a large but finite number of local agent controllers and focus on the global dynamics of behaviorally heterogeneous swarms. The user inputs the desired global task allocation for the swarm as a stationary probability distribution of agents allocated over tasks. We provide a generic method that implements the desired swarm behavior by mathematically deriving appropriate compositions of heterogeneous swarms that approximate these global user requirements. We investigate our methodology over several task allocation scenarios and validate our results with multiagent simulations. The proposed global-to-local design methodology is not limited to task allocation problems and can pave the way to formal approaches to design other swarm behaviors.