CS498-Homework 3 Inverse Kinematics and Grasping Solved

Written Problem 1: Coordinate Transformations for Manipulation
In this problem we will use the convention 𝑇𝐴 to denote the transform of frame A relative to the world, 𝑇𝐴𝐡 to denote the transform of A relative to frame B, 𝒙𝐴 to denote the coordinates of a point expressed in the local coordinates of frame A, and 𝒙 to denote its coordinates in the world frame.

Suppose a 6DOF industrial robot has a depth camera mounted on its 6th link. Let 𝑇𝑖(π‘ž) denote the world transforms of its links at configuration π‘ž, as calculated by forward kinematics.Β  Let 𝑇𝐢 be the calibrated camera transformation, in world coordinates, when the robot is at the zero configuration.

π‘₯𝑂𝐢

A.Β Β Β Β  Suppose the camera detects an object at coordinates 𝒐𝐢 = [𝑦𝑂𝐢] in the local camera frame,

𝑧𝑂𝐢

while it is at configuration q. Give the symbolic expression for the world coordinates 𝒐 of this point.

B.Β Β Β Β  Now, the gripper needs to pick up the object. The center of the gripper is given by coordinates π’ˆ6, expressed in the local coordinate frame of the 6th link. We would like to move to a new configuration π‘žβ€² so that the world coordinates of the gripper center matches the object position. Give the equation that needs to be solved in order for this to occur (but do not attempt to solve it, you do not have enough information.)

C.Β Β Β Β Β  Recognizing that it is important to understand how the object is oriented in order to grasp it, the object detector has been improved to also provide the orientation of the object in the camera frame (this orientation maps some reference geometric features of the object onto the observed geometric features). Now, the detected object pose is a relative transform 𝑇𝑂𝐢 in camera coordinates. Give the symbolic expression for the object transform in world coordinates.

D.Β Β Β Β  The object is actually a coffee mug with a handle. To pick up the object, the gripper now must match the handle position and reach it at a given orientation. Relative to the object reference frame, the handle is known to be located at position 𝒉𝑂, and the gripper needs to be oriented at orientation 𝑅𝐺𝑂 to be able to grasp the handle. Now, give the equation that must be solved to determine π‘žβ€² so that the gripper center matches the handle world position and the gripper is oriented to pick up the object. (Again, do not attempt to solve it.)Β 

Β 

Written Problem 2: Jacobians and Velocities
Consider the standard planar, 2R robot arm with link lengths L1 and L2 considered in class. In other words, the first joint lies at the origin, and the first joint angle π‘ž1 measures the angle of the first link from the x-axis in the CCW direction.Β  The second joint lies a distance 𝐿1 from the first joint, translated along the x-axis of the first link. The joint angle π‘ž2 measures the angle of the second link relative to the first link in the CCW direction.Β  The robot’s end effector lies a distance 𝐿2 away from the second joint, translated along the x-axis of the second link.

(Ignore the possibility of joint limits and collisions.)

Β 



Β 

A.Β Β Β Β  The forward kinematics of this manipulator, giving the end effector position & orientation, is

𝒙 = 𝑓(𝒒) = [𝑐1(𝑐2𝐿2 + 𝐿1) βˆ’ 𝑠1𝑠2𝐿2].

𝑠1(𝑐2𝐿2 + 𝐿1) + 𝑐1𝑠2𝐿2

Calculate the 2 x 2 Jacobian matrix 𝐽(𝒒) = πœ•π‘“ Β (𝒒).

πœ•π’’

B.Β Β Β Β  Suppose the robot’s configuration is moving along a curve 𝒒(𝑑). Write your forward kinematics map 𝒙(𝑑) = 𝑓(𝒒(𝑑)) as a function of 𝑑, and differentiate it using the chain rule. Verify that it equal to the product of the Jacobian and the joint velocity 𝒒′(𝑑): 𝒙′(𝑑) = 𝐽(𝒒(𝑑))𝒒′(𝑑).

C.Β Β Β Β Β  Draw the robot at configuration π‘ž1 = πœ‹/4, π‘ž2 = πœ‹/2. Compute the values of the Jacobian

πœ‹/4

matrix 𝐽 ([ ]).Β  Illustrate on your drawing how each column of the Jacobian has a specific πœ‹/2

geometric significance.

D.Β Β Β Β  Find a configuration 𝒒 where the columns of the Jacobian become linearly dependent, i.e., the matrix drops rank, or the determinant becomes zero. Describe the significance of this situation in terms of the allowable motion of the robot’s end effector.

Β 

Written Problem 3: Optimization with Line Search
Consider the problem of minimizing an error function 𝑔(𝒒) using an iterative method. The general pseudocode for doing so is as follows.Β 

Β 



Input: function 𝑔, initial seed 𝒒0, maximum iterations N, step tolerance πœ–π‘₯ Output: solution 𝒒 and a termination reason

1.Β Β Β Β Β  For 𝑖 = 0,1,2,… , 𝑁:

a.Β Β Β Β Β  Determine a step direction Δ𝒒𝑖 

b.Β Β Β Β Β  Determine a step size 𝛼𝑖 so that 𝑔

c.Β Β Β Β Β  If ‖𝛼Δ𝒒𝑖‖ < πœ–π‘₯, return 𝒒𝑖 and β€œconverged”

d.Β Β Β Β Β  Set 𝒒𝑖+1 ← 𝒒𝑖 + 𝛼𝑖Δ𝒒𝑖

2.Β Β Β Β Β  Return 𝒒𝑁 and β€œmaximum iterations reached”

Β 



Β 

A.Β Β Β Β  Gradient descent methods use the rule Δ𝒒𝑖 = βˆ’βˆ‡π‘”(𝒒𝑖). Under the conditions that the gradient is nonzero, 𝑔 is smooth, and you take a small enough step in the negated gradient direction, this step is guaranteed to find a decrease in 𝑔. Based on this property, outline a method for determining a step size that is large when possible but small enough to ensure a decrease in 𝑔.

B.Β Β Β Β  If the error function is the norm of a vector error 𝑔(𝒒) = ‖𝒇(𝒒)β€– with the IK problem solved at the root 𝒇(𝒒) = 𝟎, the Newton-Raphson method for root-finding can be applied. Modify the pseudocode above to describe a Newton-Raphson method, such that a) it applies a line search to ensure that the 𝑔 function decreases at each iteration, AND b) so that it terminates with β€œsuccess” when the error decreases below a threshold πœ–π‘“.

C.Β Β Β Β Β  Consider the IK problem of handling joint limit constraints π’’π‘šπ‘–π‘› ≀ 𝒒 ≀ π’’π‘šπ‘Žπ‘₯ where these are all element-wise inequalities.Β  How might you modify the above procedure so that the solution never exceeds the joint limits, but also makes progress toward reducing the IK error?

Β 

Written Problem 4: Formulating IK constraints
You have a numerical IK interface that accepts position, plane, axis, and rotation constraints on arbitrary links of a robot. Specifically, each constraint specifies the following parameters:

β€’Β Β Β Β Β Β Β  Position constraint (π‘˜, π’™π‘˜,𝒙𝐷) specifies 𝒙(π‘ž) ≑ π‘‡π‘˜(π‘ž)π’™π‘˜ = 𝒙𝐷.

β€’Β Β Β Β Β Β Β  Plane constraint (π‘˜, π’™π‘˜, 𝒏𝐷,π‘œπ·) specifies a plane 𝒏𝑇𝐷 π‘₯(π‘ž) = π‘œπ·, or in other words,

π’π‘‡π·π‘‡π‘˜(π‘ž)π’™π‘˜ = π‘œπ·.

β€’Β Β Β Β Β Β Β  Axis constraint (π‘˜, π’‚π‘˜,𝒂𝐷) specifies 𝒂(π‘ž) ≑ π‘…π‘˜(π‘ž)π’‚π‘˜ = 𝒂𝐷.

β€’Β Β Β Β Β Β Β  Rotation constraint (π‘˜, 𝑅𝐷) specifies π‘…π‘˜(π‘ž) = 𝑅𝐷.

Here π‘‡π‘˜ is the transform of the k’th link and π‘…π‘˜ is the rotation of the k’th link. An IK problem is defined by a list of constraint types and parameters. The IK solver will then solve all the equations specified for the given robot.

A.Β Β Β Β  If you constrain two points 𝒙1π‘˜ , π’™π‘˜2 on link k with two position constraints 𝒙𝐷,1,𝒙𝐷,2, then the link still has one degree of freedom of movement, namely, rotating about the axis through the points. In other words, the stacked Jacobian of these two constraints has 6 rows, but only has rank 5. This may lead to some numerical issues, such as slower convergence. Describe how you could represent the same constraint on movement using one position constraint and one axis constraint.

B.Β Β Β Β  A rotation constraint, if it were set on the 3x3 rotation matrix, would add 9 constraints to the IK problem.Β  But as we have seen, the space of rotations is only inherently 3D. Adding redundant equations tends to reduce the solver’s convergence speed. If you were designing an IK solver, how might you encode a rotation constraint without introducing redundant equations?

Β 

Programming Problem A: 3D Rotations
Lab 3a displays an interpolation of coordinate frames where rotations are represented by ZYX Euler angles.  These, by convention, take on values in the range [0,2)x[-/2,/2]x[0,2). 

1.Β Β Β Β Β  Notice that the current linear Euler angle interpolation function does not interpolate between the two endpoints (/4,0,0) and (7/4,0,0) along a minimal-length curve (a geodesic) – it rotates

270Β° instead of 90Β°. Modify the interpolate_euler_angles function so that the path does indeed interpolate the first angle along a geodesic – rotating 90Β° as desired.

Β 

Make sure it also does so for other β€œsimple” interpolations, such as from (0,0,/4) and (0,0, 7/4).Β  You should test different endpoints by modifying the ea and eb values.

Β 

2.Β Β Β Β Β  Specify a different set of interpolation endpoints where simple interpolation of Euler angles fails to produce a geodesic – that is, the frame rotates an excessive amount to blend between the endpoints.Β  Observe the results.

Β 

The do_interpolate(u) function has a commented-out line that uses the built-in interpolation function in the klampt.so3 module. Temporarily modify the function so it returns the value produced by this line rather than Euler angle interpolation, and observe the results.

Β 

Explain this discrepancy.Β  Why does Euler angle interpolation seem to rotate an excessive amount? What is klampt.so3 doing differently?

Β 

(Use the commented-out space at the bottom of the file for your answers)

Β 

Programming Problem B: Numerical IK with both position and orientation
Lab 3b shows a single configuration of the 6DOF UR5 robot and a target cylinder in 3D space.Β  As the target position moves, the robot’s configuration should be optimized to place the end effector closer to the target, and it should also be oriented toward the target’s orientation (as though it were picking it up from the side).

We’ve chosen the end effector local position and axis for you, and it is your job to find a configuration that matches this to the target world position and axis. Complete the function lab2b(robot, qseed, ee_link, ee_local_position, ee_local_axis, target, target_axis) which should use the Klamp’t inverse kinematics functions to compute the IK solution for this problem.

It should return a triple:

-Β Β Β Β Β Β Β  q: the solution configuration

-Β Β Β Β Β Β Β  errpos: The distance between the end effector's world position and the target position at the solution.Β 

-Β Β Β Β Β Β Β  erraxis: The distance between the end effector's world axis and the target axis at the solution.

[Note: the current implementation for finding errpos and erraxis is incorrect]

You will need to understand the RobotModel class, the RobotModelLink class, and the IK module functionality. Please consult the intro to Klamp’t slides and the Python API documentation, as well as theΒ 

Klamp’t IK tutorial at http://motion.cs.illinois.edu/software/klampt/latest/pyklampt_docs/ManualIK.html and the documentation of the IK module in

http://motion.cs.illinois.edu/software/klampt/latest/pyklampt_docs/klampt.model.ik.html Β Β 

You will notice that even if your implementation is correct, many IK solve calls will fail or find configurations with self-collision. Why? By uncommenting lines in the solve_ik function, see what happens when you start from a zero configuration, and what happens when you run a random-restart technique.Β  How do each of these initializations affect the ability to find a solution? [Place your answers to these questions in the marked cell at the bottom of the file]

Programming Problem C. Pick and place
In Lab3c, the UR5 is presented with multiple colored blocks and a box on a table, and the task is to place each block into the box. The pose of each block and the box are assumed known, and the local coordinates are centered at its center and aligned with the axes of the block with z pointing upward. The robot starts at a β€œhome configuration”, and will return there after every placement operation.

1.Β Β Β Β Β  Implement the find_pregrasp_config function, which finds a configuration in which the gripper center point is moved to a point 6cm above the object, with the gripper’s fingers oriented to point straight downward and to grasp on opposite flat faces of the block. This configuration should also be close to the home configuration so that a linear joint space interpolation does not collide with anything. When you click on the β€œMove to Pregrasp” button, the robot should move to the pregrasp configuration of the given object.

2.Β Β Β Β Β  Implement the lower_and_close function, which finds a sequence of milestones in which the gripper lowers its center to be exactly around the object, and closes its fingers to the desired width. The width value is between 0 (fully closed) and 1 (fully open). This milestone sequence move straight downward in Cartesian space, with no orientation change, and with each milestone spaced no more than 1cm apart. When you click the β€œGrasp” button, the robot should move along this milestone sequence.

3.Β Β Β Β Β  Implement the lift_and_place function, which finds a sequence of milestones in which the robot moves a grasped object off the table by 10cm, brings it to a spot over the box, and then opens the gripper. When you click the β€œPlace” button, the robot should move along this milestone sequence.

Test your that your code is able to place all of the items in the box using a sequence of Home-PregraspGrasp-Place cycles.

[Note: the β€œsimulator” doesn’t actually use physics, so objects can freely penetrate or be picked up in strange orientations. Full credit will be granted only if the blocks are picked up when the gripper is centered on the block with fingers against opposing sides, and that there are no collisions except for the placed objects.].