Decentralized Receding Horizon Control and Coordination of Autonomous Vehicle Formations