Receding horizon control of multi-vehicle formations: a distributed implementation | IEEE Conference Publication | IEEE Xplore