Time optimal trajectory planning for reconfiguration of satellite formation with collision avoidance | IEEE Conference Publication | IEEE Xplore