This paper presents a proof of controllability for a multibody mobile
robot (e.g., a car pulling and pushing trailers like a luggage carrier
in an airport). Such systems appear as canonical systems to illustrat
e the tools from differential geometric control theory required by non
holonomic motion planning. Three modeling steps are considered: geomet
ric, differential, and control steps. We derive the kinematic equation
s for four distinct multibody mobile robot systems: a convoy driven by
1) a unicycle, 2) a two-driving wheels vehicle, 3) a real car and 4)
the first two bodies. We show that these four control systems correspo
nd to the same differential model, which is then used to give the same
proof of controllability. Previous work proved the controllability of
two-body systems [8] and three-body systems [2]. The main result of t
his paper is prove the controllability for a general n-body system.