Discrete-time SO(n)-constrained Kalman filtering - de Ruiter, Anton H.J.; Forbes, James Richard (Journal of Guidance, Control, and Dynamics, 2017)