Chebyshev neural network-based finite-time sliding mode control of spacecraft formation | IEEE Conference Publication | IEEE Xplore