Mathematical models of binary spherical-motion encoders | IEEE Journals & Magazine | IEEE Xplore