Application of kinematic constraints for smart INS/DVL integrated navigation | IEEE Conference Publication | IEEE Xplore