Inequality constrained Kalman filtering for the localization and registration of a surgical robot | IEEE Conference Publication | IEEE Xplore