HeROS: a miniaturised platform for research and development on Heterogeneous RObotic Systems