An analytical stochastic controller. [for spacecraft docking