Constrained Kalman Filter for Mobile Robot Localization with Gyroscope. - Hyun Myung; Hyoung-Ki Lee; Kiwan Choi; Seokwon Bang; Yongbeom Lee; Sang Ryoung Kim (IROS, 2006)