Passively safe Receding Horizon Control for satellite proximity operations | IEEE Conference Publication | IEEE Xplore