Distributed Model Predictive Control for Multi-Vehicle Formation with Collision Avoidance Constraints | IEEE Conference Publication | IEEE Xplore