Synchronization-Based Guaranteed-Performance Formation Design for Swarm Systems. (9th September 2020)