Combining Formation Seismic Velocities while Drilling and a PDE-ODE observer to improve the Drill-String Dynamics Estimation | IEEE Conference Publication | IEEE Xplore