Robust autonomous robot localization using interval analysis