Optimal collision avoidance maneuver control for formation flying satellites using linear programming | IEEE Conference Publication | IEEE Xplore