This paper proposes an original set-membership approach for loop detection of mobile robots in the situation where proprioceptive sensors only are available. To detect loops, the new concepts of the t-plane (which is a two dimensional space with time coordinates) are introduced. Intervals of functions (or tubes) are then used to represent uncertain trajectories and tests are provided in order to eliminate parts of the t-plane that do not correspond to any loop. An experiment with an actual underwater robot is proposed in order to illustrate the principle and the efficiency of the approach. (C) 2012 Elsevier Ltd. All rights reserved.