Distributed receding horizon control for multi-vehicle formation stabilization