Multi-vehicle formation control based on branch-and-bound method compatible with collision avoidance problem | IEEE Conference Publication | IEEE Xplore