Collision-Free Approximate Optimal Control of Spacecraft Formation With Predefined Performance | IEEE Journals & Magazine | IEEE Xplore