Multi-leader set coordination of multi-agent systems with random switching topologies | IEEE Conference Publication | IEEE Xplore