Computational Dynamics for Model Predictive Control Rendezvous and Proximity Operations. - Channing Ludden; Christopher Petersen (ACC, 2025)