The explicit synthesis of stabilizing (time optimal) feedback controls for the attitude control of a rotating satelite