On algorithms for velocity estimation using discrete position encoders | IEEE Conference Publication | IEEE Xplore