Abstract
This paper addresses the boundedness property of the inertia matrix and the skew-symmetric property of the Coriolis matrix for vehicle-manipulator systems. These properties are widely used in control theory and Lyapunov-based stability proofs and thus important to identify. The skew-symmetric property does not depend on the system at hand but on the parameterization of the Coriolis matrix, which is not unique. It is the authors' experience that many researchers take this assumption for granted without taking into account that several parameterizations exist. In fact, most researchers refer to references that do not show this property for vehicle-manipulator systems but for other systems such as single rigid bodies or fixed-base manipulators. As a result, the otherwise rigorous stability proofs fall apart. In this paper, we list some relevant references and give the correct proofs for some commonly used parameterizations for future reference. Depending on the choice of state variables, the boundedness of the inertia matrix will not necessarily hold. We show that deriving the dynamics in terms of quasi-velocities leads to an inertia matrix that is bounded in its variables. To the best of our knowledge, we derive for the first time the dynamic equations of vehicle-manipulator systems with non-Euclidean joints for which both properties are true.