Assessment of decentralized satellite formation control with distributed hardware-in-the-loop testbeds | IEEE Conference Publication | IEEE Xplore