Robust and gain-scheduled formation control techniques for multi-agent systems - comparison and benchmark in a unified framework.