Title: Linear stochastic control theory applied to satellite attitude stabilization