Distributed model predictive formation control with inter-vehicle collision avoidance | IEEE Conference Publication | IEEE Xplore