Constrained Kalman Filter for Mobile Robot Localization with Gyroscope | IEEE Conference Publication | IEEE Xplore