Spacecraft Collision Avoidance with Constrained Control via Discrete-Time Generating Functions | IEEE Conference Publication | IEEE Xplore