  Screw and Lie group theory allows for user-friendly modeling of multibody
systems (MBS) while at the same they give rise to computationally efficient
recursive algorithms. The inherent frame invariance of such formulations allows
for use of arbitrary reference frames within the kinematics modeling (rather
than obeying modeling conventions such as the Denavit-Hartenberg convention)
and to avoid introduction of joint frames. The computational efficiency is owed
to a representation of twists, accelerations, and wrenches that minimizes the
computational effort. This can be directly carried over to dynamics
formulations. In this paper recursive $O\left( n\right) $ Newton-Euler
algorithms are derived for the four most frequently used representations of
twists, and their specific features are discussed. These formulations are
related to the corresponding algorithms that were presented in the literature.
The MBS motion equations are derived in closed form using the Lie group
formulation. One are the so-called 'Euler-Jourdain' or 'projection' equations,
of which Kane's equations are a special case, and the other are the Lagrange
equations. The recursive kinematics formulations are readily extended to higher
orders in order to compute derivatives of the motions equations. To this end,
recursive formulations for the acceleration and jerk are derived. It is briefly
discussed how this can be employed for derivation of the linearized motion
equations and their time derivatives. The geometric modeling allows for direct
application of Lie group integration methods, which is briefly discussed.
