Tube-based stochastic model predictive control for spacecraft close proximity under external uncertainty | IEEE Conference Publication | IEEE Xplore