1. CSCE 441: Computer Graphics Forward/Inverse kinematics Jinxiang Chai

2. Outline Animation basics: –Forward kinematics –Inverse kinematics

3. Kinematics The study of movement without the consideration of the masses or forces that bring about the motion

4. Degrees of Freedom (Dofs) The set of independent displacements that specify an object’s pose

5. Degrees of Freedom (Dofs) The set of independent displacements that specify an object’s pose How many degrees of freedom when flying?

6. Degrees of Freedom (Dofs) The set of independent displacements that specify an object’s pose How many degrees of freedom when flying? So the kinematics of this airplane permit movement anywhere in three dimensions Six x, y, and z positions roll, pitch, and yaw

7. Degrees of Freedom How about this robot arm? Six again 2-base, 1-shoulder, 1-elbow, 2-wrist

8. Configuration Space vs. Work Space Configuration space –The space that defines the possible object configurations –Degrees of Freedom The number of parameters that are necessary and sufficient to define position in configuration Work space –The space in which the object exists –Dimensionality R 3 for most things, R 2 for planar arms

9. Forward vs. Inverse Kinematics Forward Kinematics –Compute configuration (pose) given individual DOF values Inverse Kinematics –Compute individual DOF values that result in specified end effector’s position

10. Example: Two-link Structure Two links connected by rotational joints Base End Effector θ2θ2 θ1θ1 X=(x,y) l2l2 l1l1

11. Example: Two-link Structure Animator specifies the joint angles: θ 1 θ 2 Computer finds the position of end-effector: x Base End Effector θ2θ2 θ1θ1 x=f(θ 1, θ 2 ) l2l2 l1l1 (0,0) X=(x,y)

12. Example: Two-link Structure Animator specifies the joint angles: θ 1 θ 2 Computer finds the position of end-effector: x Base End Effector θ2θ2 θ1θ1 x = (l 1 cosθ 1 +l 2 cos(θ 2 + θ 2 ) y = l 1 sinθ 1 +l 2 sin(θ 2 + θ 2 )) (0,0) θ2θ2 l2l2 l1l1 X=(x,y)

13. Forward Kinematics Base End Effector θ2θ2 θ1θ1 (0,0) θ2θ2 l2l2 l1l1 Create an animation by specifying the joint angle trajectories θ1θ1 θ2θ2 X=(x,y)

14. Inverse Kinematics What if an animator specifies position of end- effector? Base End Effector θ2θ2 θ1θ1 (0,0) θ2θ2 l2l2 l1l1 X=(x,y)

15. Inverse Kinematics Animator specifies the position of end-effector: x Computer finds joint angles: θ 1 θ 2 Base End Effector θ2θ2 θ1θ1 (0,0) θ2θ2 l2l2 l1l1 (θ 1, θ 2 )=f -1 (x) X=(x,y)

16. Inverse Kinematics Animator specifies the position of end-effector: x Computer finds joint angles: θ 1 θ 2 Base End Effector θ2θ2 θ1θ1 (0,0) θ2θ2 l2l2 l1l1 X=(x,y)

17. Why Inverse Kinematics? Motion capture Basic tools in character animation - key frame generation - animation control - interactive manipulation Computer vision (video-based mocap) Robotics Bioinfomatics (Protein Inverse Kinematics) Etc.

18. Inverse Kinematics Given end effector’s positions, compute required joint angles In simple case, analytic solution exists –Use trig, geometry, and algebra to solve

19. Inverse Kinematics Analytical solution only works for a fairly simple structure Numerical/iterative solution needed for a complex structure

20. Numerical Approaches Inverse kinematics can be formulated as an optimization problem

21. Function Optimization Finding the minimum for nonlinear functions

22. Formulation So how to convert the IK process in an optimization function? Base θ2θ2 θ1θ1 (0,0) θ2θ2 l2l2 l1l1 C=(Cx,Cy)

23. Iterative Approaches Find the joint angles θ that minimizes the distance between the hypothesized character position and user specified position Base θ2θ2 θ1θ1 (0,0) θ2θ2 l2l2 l1l1 C=(Cx,Cy) hypothesized position specified position

24. Iterative Approaches Find the joint angles θ that minimizes the distance between the hypothesized character position and user specified position Base θ2θ2 θ1θ1 (0,0) θ2θ2 l2l2 l1l1 C=(c 1,c 2 )

25. Iterative Approaches Mathematically, we can formulate this as an optimization problem: The above problem can be solved by many nonlinear optimization algorithms: - Steepest descent - Gauss-newton - Levenberg-marquardt, etc

26. Gradient-based Optimization

27. Gauss-Newton Approach Step 1: initialize the joint angles with Step 2: update the joint angles:

28. Gauss-Newton Approach Step 1: initialize the joint angles with Step 2: update the joint angles: How can we decide the amount of update?

29. Gauss-Newton Approach Step 1: initialize the joint angles with Step 2: update the joint angles:

30. Gauss-Newton Approach Step 1: initialize the joint angles with Step 2: update the joint angles: Known!

31. Gauss-Newton Approach Step 1: initialize the joint angles with Step 2: update the joint angles: Taylor series expansion

32. Gauss-Newton Approach Step 1: initialize the joint angles with Step 2: update the joint angles: Taylor series expansion rearrange

33. Gauss-Newton Approach Step 1: initialize the joint angles with Step 2: update the joint angles: Taylor series expansion rearrange Can you solve this optimization problem?

34. Gauss-Newton Approach Step 1: initialize the joint angles with Step 2: update the joint angles: Taylor series expansion rearrange This is a quadratic function of

35. Gauss-Newton Approach Optimizing an quadratic function is easy It has an optimal value when the gradient is zero

36. Gauss-Newton Approach Optimizing an quadratic function is easy It has an optimal value when the gradient is zero b J Δθ Linear equation!

37. Gauss-Newton Approach Optimizing an quadratic function is easy It has an optimal value when the gradient is zero b J Δθ

38. Gauss-Newton Approach Optimizing an quadratic function is easy It has an optimal value when the gradient is zero b J Δθ

39. Jacobian Matrix Jacobian is a M by N matrix that relates differential changes of θ to changes of C (Δθ-->Δf) Jacobian maps the velocity in joint space to velocities in Cartesian space Jacobian depends on current state Dofs (N) The number of constraints (M)

40. Jacobian Matrix Jacobian maps the velocity in joint angle space to velocities in Cartesian space (x,y) θ1θ1 θ2θ2

41. Jacobian Matrix Jacobian maps the velocity in joint angle space to velocities in Cartesian space (x,y) θ1θ1 θ2θ2 A small change of θ 1 and θ 2 results in how much change of end-effector position (x,y)

42. Jacobian Matrix Jacobian maps the velocity in joint angle space to velocities in Cartesian space (x,y) θ1θ1 θ2θ2 A small change of θ 1 and θ 2 results in how much change of end-effector’s position (x,y)

43. Jacobian Matrix Jacobian maps the velocity in joint angle space to velocities in Cartesian space (x,y) θ1θ1 θ2θ2 A small change of θ 1 and θ 2 results in how much change of end-effector position (x,y)

44. Jacobian Matrix Jacobian maps the velocity in joint angle space to velocities in Cartesian space A small change of θ 2 results in how much change of end-effector position f=(x,y) θ2θ2 θ1θ1 (x,y)

45. Jacobian Matrix: 2D-link Structure Base θ2θ2 θ1θ1 (0,0) θ2θ2 l2l2 l1l1 C=(c 1,c 2 )

46. Jacobian Matrix: 2D-link Structure Base θ2θ2 θ1θ1 (0,0) θ2θ2 l2l2 l1l1 C=(c 1,c 2 ) f1f1 f2f2

47. Jacobian Matrix: 2D-link Structure Base θ2θ2 θ1θ1 (0,0) θ2θ2 l2l2 l1l1 C=(c 1,c 2 )

48. Jacobian Matrix: 2D-link Structure Base θ2θ2 θ1θ1 (0,0) θ2θ2 l2l2 l1l1 C=(c 1,c 2 )

49. Jacobian Matrix: 2D-link Structure Base θ2θ2 θ1θ1 (0,0) θ2θ2 l2l2 l1l1 C=(c 1,c 2 )

50. Jacobian Matrix: 2D-link Structure Base θ2θ2 θ1θ1 (0,0) θ2θ2 l2l2 l1l1 C=(c 1,c 2 )

51. Jacobian Matrix: 2D-link Structure Base θ2θ2 θ1θ1 (0,0) θ2θ2 l2l2 l1l1 C=(c 1,c 2 )

52. Gauss-Newton Approach Step 1: initialize the joint angles with Step 2: update the joint angles: Step size: specified by the user

53. Iterative Approaches for IK Mathematically, we can formulate this as an optimization problem: The above problem can be solved by many nonlinear optimization algorithms: - Steepest descent - Gauss-newton - Levenberg-marquardt, etc

54. C/C++ Optimization Library levmar : Levenberg-Marquardt nonlinear least squares algorithms in C/C+ - Works with/without analytical Jacobian matrix - Speeds up the optimization process with analytical Jacobian matrix. http://www.ics.forth.gr/~lourakis/levmar/

55. Another Example A 2D lamp character 55

56. Another Example A 2D lamp character 56

57. Forward Kinematics A 2D lamp character Given,, how to compute the global position of the point A? ? 57

58. Forward Kinematics A 2D lamp with 6 degrees of freedom base Upper arm lower arm middle arm ?

59. Inverse Kinematics A 2D lamp with 6 degrees of freedom base Upper arm lower arm middle arm If you do inverse kinematics with position of this point What’s the size of Jacobian matrix?

60. Inverse Kinematics A 2D lamp with 6 degrees of freedom base Upper arm lower arm middle arm If you do inverse kinematics with position of this point What’s the size of Jacobian matrix? 2-by-6 matrix

61. Human Characters 61

62. Inverse Kinematics Analytical solution only works for a fairly simple structure Iterative approach needed for a complex structure

63. Inverse Kinematics Is the solution unique? Is there always a good solution?

64. Ambiguity of IK Multiple solutions

65. Ambiguity of IK Infinite solutions

66. Failures of IK Solution may not exist

67. Inverse Kinematics Generally ill-posed problem when the number of Dofs is higher than the number of constraints

68. Inverse Kinematics Generally ill-posed problem when the number of Dofs is higher than the number of constraints Additional objective –Minimal Change from a reference pose θ 0

69. Inverse Kinematics Generally ill-posed problem when the number of Dofs is higher than the number of constraints Additional objective –Minimal Change from a reference pose θ 0

70. Inverse Kinematics Generally ill-posed problem when the number of Dofs is higher than the number of constraints Additional objective –Minimal Change from a reference pose θ 0 Satisfy the constraints Minimize the difference between the solution and a reference pose

71. Inverse Kinematics Generally ill-posed problem when the number of Dofs is higher than the number of constraints Additional objective –Minimal Change from a reference pose θ 0 –Naturalness g(θ) (particularly for human characters)

72. Inverse Kinematics Generally ill-posed problem when the number of Dofs is higher than the number of constraints Additional objective –Minimal Change from a reference pose θ 0 –Naturalness g(θ) (particularly for human characters)

73. Inverse Kinematics Generally ill-posed problem when the number of Dofs is higher than the number of constraints Additional objective –Minimal Change from a reference pose θ 0 –Naturalness g(θ) (particularly for human characters) Satisfy the constraints How natural is the solution pose?

74. Interactive Human Character Posing Video (click here)here

75. Summary of IK Very simple structure allows an analytic solution Most of complex articulated figures requires a numerical solution May not always get the “right” solution - need additional objectives