I am reading some theories related to rigid body motion from the book "A Mathematical Introduction to Robotic Manipulation" by Prof. Richard Murray.

I am focusing on chapter 2, Sec 4 to derive some formulation. According to his introduction of chapter "we present a modern approach treatment of the theory of screws based on linear algebra and matrix groups". I myself feel rather understandable and comprehensive explanation from this approach.

However, his scope in this chapter is limited in inertia coordinate frame where he refers to as spatial frame and moving frame as body frame. Is there any other references that treat the topic in the reversed order? spatial as moving/non-inertia frame and the other one is inertia frame?

Thank you!


You are probably new to the business. Richard's book follows standard approach in mechanics textbook with an emphasis on coordinate invariance (a notion commonly popped up in Lie group theory). The two most important references of this book is Greenwood's classical dynamics and John McCarthy's Introduction to theoretical kinematics.

The advantage of Richard's approach is that you can just use any coordinate system, inertial or moving. In fact, if you really understand the book up to certain level, you will realize that instantaneously there is no difference between the two at all: when you use body fixed coordinate frame to compute the kinematics or dynamics, you are actually referring to an inertial frame which at that moment coincides with the body frame (we usually say, a copy). So there is no so called reverse order whatsoever. The true reversion happens only when you switch the roles of the base and the end-effector (a notion usually only used in mechanism synthesis).

Later when you move on to dynamics, you will see everything computed in body frame. The tricky part is that in classical dynamics, laws of physics only respects inertial frame, or in other words, invariant under the 10 dimensional Galilean transformation. So the restatement of Newton's laws for example, has to be made first in inertial frame, and then transformed to body frame. So on the one hand, equation of motions should start within a inertial frame, but on the other hand, it is eventually transformed into body frame. You may ask why?

A 'High-Big-Up' answer may process as follows. It is a common knowledge that there is no bi-invariant Riemannian metric on $SE(3)$. This means the notion of "error" on $SE(3)$ for example, is not consistent under arbitrary change of inertial and/or body frames (and so it also affects the curvature and hence dynamics). For the past 40 or so years, people satisfy themselves with left or right invariant metric instead. The philosophy behind this is that if they can choose some preferred inertial or body frame, then only right- or left-invariance is good enough (in terms of consistency) for engineering applications. The inertia tensor written in body frame for example, serves as a left-invariant (i.e. invariant under change of inertial frame) metric for a single rigid body, is chosen based on the fact that there is actually a preferred body frame, namely the one located at the center of mass with axes aligned with the principal axes.

Nevetheless, the equation of motion has a coordinate invariant form (something like $M\dot V-ad_V^T(MV)=F$), though the Riemmanian metric might be different under change of coordinate frames. The reason is that Newton's second law is geometric in nature: $M\nabla_VV=F$, i.e. essentially a geodesic equation. This is the beauty of the matrix Lie group machinery: elegance in analytic derivation. But it is not necessarily computationally efficient. These days people are moving on to geometric algebra. But Lie theory is inevitable anyway, and is equivalent to Richard's matrix approach under proper linear representations.

Hopes my mumbo jumbo didn't kill the fun of the book.

  • $\begingroup$ I am stun and flooded by your information. It's great to read your comments though! I've been through lectures at universities as a student but haven't reached this depth of theory. Even I've always felt like the explanation in several graduate textbooks do not open up this far and leave lots of questions. Thank you! $\endgroup$ – Shawn Le Jan 31 '15 at 9:14
  • $\begingroup$ @ShawnLe you are welcome. It is more reasonable to let professionals provide software packages and toolboxes with advanced ideas. But these days deterministic robotics are downplayed and probabilistic robotics is everywhere---nobody will get paid for doing deterministic robotics anymore. It is not impossible to utilize the classic deterministic tools (geometry oriented) in probabilistic robotics, e.g. to consider stochastic analysis on manifolds and Lie groups (the non-linearity issue). But the prerequisite are too much and most people don't qualify. Many things are done all wrong. $\endgroup$ – Troy Woo Jan 31 '15 at 10:20

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.