Observer and IMU-based detection and isolation of faults in position reference systems and gyrocompasses with dual redundancy in dynamic positioning | IEEE Conference Publication | IEEE Xplore