electronic distance measuring (EDM) device

Instruments that measure the phase difference between transmitted and reflected or retransmitted electromagnetic waves of known frequency, or that measure the round-trip transit time of a pulsed signal, from which distance is computed.