Particle filtering for on-line estimation of overflow losses in a hopper dredger | IEEE Conference Publication | IEEE Xplore