Stochastic stabilization of rigid body motion of a spacecraft on SE(3). - Naoya Tasaka; Satoshi Satoh; Takeshi Hatanaka; Katsuhiko Yamada (Int. J. Control, 2021)