Gray-dynamic EKF for mobile robot SLAM in indoor environment | IEEE Conference Publication | IEEE Xplore