Distributed adaptive finite-time configuration control of spacecraft formation | IEEE Conference Publication | IEEE Xplore