From targets to motor commands.
Model-based design and verification for robotics from MIT and Toyota Research.
Fast rigid-body dynamics algorithms and their analytical derivatives.