Distributed coordinated formation control of multiple spacecraft with and without velocity measurements | IEEE Conference Publication | IEEE Xplore