Formation control via receding horizon control: A set theoretic approach | IEEE Conference Publication | IEEE Xplore