Globally exponentially stable aided inertial navigation with hydroacoustic measurements from a single transponder | IEEE Conference Publication | IEEE Xplore