I have a few comments on lag and latency corrections. The first correction should always be a lag correction that is a distance based correction. The lag correction is based on the distance between the center of the GPS (or more correctly GNSS). The latency correction is a time based correction that corrects for the time difference between the GNSS receiver determining a location and the GPR saving that position with the GPR data. There really isn't an advantage of the GNSS receiver outputting positions faster than 1 Hz since the satellites are only sending data out at 1 Hz. Any output rate faster than 1 Hz is an extrapolation where the receiver might be from previous data. There is value in higher output rates if the GNSS system also includes a high quality inertial navigation system, but those quite often cost more than the GNSS receiver.
I have a few comments on lag and latency corrections. The first correction should always be a lag correction that is a distance based correction. The lag correction is based on the distance between the center of the GPS (or more correctly GNSS). The latency correction is a time based correction that corrects for the time difference between the GNSS receiver determining a location and the GPR saving that position with the GPR data. There really isn't an advantage of the GNSS receiver outputting positions faster than 1 Hz since the satellites are only sending data out at 1 Hz. Any output rate faster than 1 Hz is an extrapolation where the receiver might be from previous data. There is value in higher output rates if the GNSS system also includes a high quality inertial navigation system, but those quite often cost more than the GNSS receiver.