Control theoretic approach to inertial navigation systems