Multiple robots formation control based on receding horizon optimization | IEEE Conference Publication | IEEE Xplore