Stochastic Optimal Control of Spacecraft Attitude Stabilization | IEEE Conference Publication | IEEE Xplore