PEBO-SLAM: Observer Design for Visual Inertial SLAM With Convergence Guarantees | IEEE Journals & Magazine | IEEE Xplore