A smooth hybrid symbolic control for the formation of UAVs over a partitioned space | IEEE Conference Publication | IEEE Xplore