Time-varying formation control of singular multi-agent systems with multiple leaders.