Spacecraft constrained maneuver planning for moving debris avoidance using positively invariant constraint admissible sets | IEEE Conference Publication | IEEE Xplore