A finite-time partial IGC approach for formation flying with collision avoidance | IEEE Conference Publication | IEEE Xplore