Series

Serial — the series

16 essays on one idea, from the one that introduces it to the one that assumes the rest.
  1. elbow arm at a posture. elbow arm, drawn from 6 joint values through a product of 6 exponentials — no equation is solved anywhere in this picture, because an open chain has none to solve. The thin lines are the joint axes at this configuration, which are also the columns of the arm's Jacobian: the tool's velocity is a sum of turns about exactly those lines. Here the smallest singular value of that Jacobian is 0.3674 and the largest is 2.407, so the arm is comfortably away from a configuration where a direction of motion is lost. Drag θ₂ shoulder.

    The chain that does not close

    Every mechanism on this site so far has been a loop, and a loop is why a configuration here is a solve. An arm has no loop. Its pose is a product of six transforms, evaluated, with nothing to converge and nothing to refuse — and the difficulty does not disappear, it moves to the other end of the problem.

    part 1 · serial
  2. SCARA, as four numbers a joint. A Denavit–Hartenberg table describes each joint by the common perpendicular between its axis and the next one: how long it is, how much the axes twist across it, where along the first axis it meets, and at what angle. 3 of these 3 rows have no answer for the last two, because the axes they describe are parallel and two parallel lines have infinitely many common perpendiculars, all the same length, at every point along them. The arm is perfectly ordinary; it is the description that has run out.

    Four numbers or a screw

    An arm can be written down as four numbers a joint or as a line in space with a pitch on it. Both are minimal, both describe the same machine to the last bit, and one of them jumps by three hundred and fifty thousand when an axis is tilted by a millionth of a radian.

    part 2 · serial
  3. Reachable, and dexterous. A 3-link planar arm with links 1.6, 1.2, 0.7. The outer region is everywhere the tool can be put: an annulus from 0.00 to 3.50. The inner region is everywhere it can be put at every tool angle — from 1.10 to 2.10, which is 26% of the area. Both are measured by counting cells on a 300 × 300 grid and both agree with the area computed from the radii to 0.09%, which is what makes the picture a measurement.

    Where the hand can go

    A robot is sold on its reach, which is one number and describes a sphere the arm touches at one posture. The set the tool can actually be put in is an annulus with a hole; the set it can be put in at every orientation is a quarter of that; and reordering the same three links leaves the first unchanged and destroys the second.

    part 2 · serial
  4. elbow arm at a posture. elbow arm, drawn from 6 joint values through a product of 6 exponentials — no equation is solved anywhere in this picture, because an open chain has none to solve. The thin lines are the joint axes at this configuration, which are also the columns of the arm's Jacobian: the tool's velocity is a sum of turns about exactly those lines. Here the smallest singular value of that Jacobian is 0.3674 and the largest is 2.407, so the arm is comfortably away from a configuration where a direction of motion is lost. Drag θ₃ elbow.

    Two routes to a Jacobian

    An open chain's Jacobian is a list of its joint axes, drawn as lines in the same picture as the arm. A finite difference of its own forward kinematics is a completely different computation and has to agree — and when the two disagreed by 5 × 10⁻⁵, the fault was in a function six phases old that every spatial loop on this site had been using.

    part 3 · serial
  5. 8 postures, one tool pose. The tool is at one place, held one way. Eight different sets of joint values put it there, and this is all of them at once: two ways for the base joint to face the target, two for the elbow, and two for the wrist — two by two by two. Every posture here came out of a closed form and was checked by running the arm forward again; the worst disagreement is below 10⁻¹⁴ of a metre. Which of them a machine can actually use is a separate question, and it is answered by the joint limits rather than by the geometry.

    Eight ways to hold the same tool

    A six-joint arm asked to put its tool at one place, held one way, has eight answers. Not approximately eight and not eight found by looking — two for the base, two for the elbow, two for the wrist, each exact to a hundredth of a femtometre, and a search from six hundred starting postures finds those eight and no ninth.

    part 3 · serial
  6. elbow arm at a posture. elbow arm, drawn from 6 joint values through a product of 6 exponentials — no equation is solved anywhere in this picture, because an open chain has none to solve. The thin lines are the joint axes at this configuration, which are also the columns of the arm's Jacobian: the tool's velocity is a sum of turns about exactly those lines. Here the smallest singular value of that Jacobian is 0.3674 and the largest is 2.407, so the arm is comfortably away from a configuration where a direction of motion is lost. Drag θ₅ pitch.

    The wrist is three joints and one point

    Three axes meeting at a point is what makes a six-joint arm's inverse problem solvable in closed form, and it is why every industrial arm is built that way. Move one of those axes by ten millimetres and the construction goes on returning eight confident answers, every one of them out by three and a half.

    part 3 · serial
  7. Three singularities, and where each one is. The elbow singularity is at the edge of the workspace, where the arm is straight and cannot reach further — nothing is lost that could have been used. The shoulder singularity is where the two ways of facing the target merge, on a cylinder of radius 0.18 m about the base axis which is also the boundary of a hole the arm cannot reach into at all. The wrist singularity is the one that stops real machines: axes four and six in line, one rotation gone, in the middle of an ordinary working volume with nothing about the tool's position to suggest it. The rank falls by exactly one in all three — and what is lost differs. The elbow and the shoulder are constrained by a pure force, along the arm and across it; the wrist is constrained by a screw of pitch −0.629, which is a force and a couple together. Those are reciprocal screws rather than singular vectors, because a singular vector's direction depends on whether the arm was written in metres or millimetres and a screw does not.

    Where the arm loses a direction

    An arm has three singularities and they are three different events. Two of them are inside an ordinary working volume, all three drop the rank by exactly one, and what each one takes away is a screw — a pure force along the arm at the elbow, a pure force across it at the shoulder, and at the wrist a screw of pitch −0.629 that is a force and a couple together.

    part 4 · serial
  8. How far a joint-space move bows off the line. Every joint runs from its start value to its end value at a constant rate — the simplest possible move, and the one that can never be refused, because every point along it is a set of joint values and every set of joint values is a pose. The tool does not travel in a straight line while it happens. It bows away by 402 mm over a move of 1223 mm, which is 32.9% of the distance travelled and enough to hit something that the straight line would have missed.

    A straight line at constant speed

    Run every joint from its start value to its end value and the tool bows 402 mm off the line between them. Insist on the line instead and the arm will follow it — until the path passes near a singularity, where the joint rates a metre a second demands grow as one over the distance, measured at an exponent of −1.010.

    part 4 · serial
  9. Three shortest paths. The tool's route between the same two poses, under three interpolations. The straight one is position interpolated along a line with the rotation carried separately, which is what most controllers do. The screw path is the single turn about a single axis that Chasles's theorem says takes any pose to any other — the only one of the three that mentions no coordinate system — and it is 18.0% longer. The joint-space path is what the arm does when nobody asks for anything in particular, and it is 26.8% longer again. The screw axis itself is drawn: pitch -0.096 m per radian.

    The distance between two poses

    Ask an arm to take the shortest route between two poses and three reasonable definitions give three different paths, of lengths 1.223, 1.443 and 1.550 metres. The disagreement is not numerical. There is no distance between two rigid poses until somebody chooses a length to measure a radian in, and on this arm the choice changes which of two poses is nearer at 74.5 millimetres.

    part 4 · serial
  10. One tool pose, a curve of postures. 41 postures of S-R-S arm, every one of them holding the tool at the same pose. The tool moved 1.0e-13 of a metre over the whole sweep, which is the arithmetic's noise floor rather than a tolerance. The joint that moves most is the elbow, and it runs on a circle of radius 0.192 m about the line from shoulder to wrist — a curve computed here by walking the Jacobian's null space, and known independently as the intersection of two spheres. The two agree to 10⁻¹³.

    The freedom that does nothing

    Give an arm a seventh joint and one tool pose stops having eight answers and starts having infinitely many. The arm changes shape while the tool stands still — measured at 3.3 × 10⁻¹² of a metre over forty-one postures — and the elbow runs on a circle that two entirely different computations agree about to a tenth of a picometre.

    part 5 · serial
  11. What a calibration can and cannot see. The singular values of elbow arm's identification Jacobian — the matrix of how the tool pose moves when each model parameter is nudged, over 11 postures. There are 36 parameters and only 30 of them can be found: the last 6 directions come out at 2.3e-8, which is the difference noise, against 6.3e-4 for the weakest real one — a gap of 3e+4. And 30 is exactly 4R + 2P + 6 for this arm's 6 turning and 0 sliding joints, which is a count from the literature meeting a rank measured from the arm's own arithmetic.

    What a calibration cannot see

    A six-joint arm's model has thirty-six parameters and a measurement can find thirty of them. The other six are not hard to measure — they are combinations that move the tool by exactly nothing, at every posture, and no instrument ever built will separate them. The count is 4R + 2P + 6, and it comes out of a rank on four different arms.

    part 6 · serial
  12. The free configurations, with joint limits. Every point is a pair of joint angles for a two-link arm; the pale region is the configurations at which neither link touches an obstacle, and the dark one is where something is in the way. The free space is in 2 pieces. The arm's joints cannot turn all the way round, so the edges of the square are edges — and now the barrier separates. The two crosses put the tool at exactly the same point, and the arm cannot get from one to the other at all.

    The space of configurations

    A two-joint arm's configurations are a torus, and drawing one on a page turns it into a square whose opposite edges are secretly the same line. Count the free space on the square and get three pieces; count it on the torus and get one. Eighty single-obstacle arrangements were tried and not one of them cut the torus in two — what does that is a pair of hard stops.

    part 6 · serial
  13. The chains that never close, counted by the same routine. An open chain has one joint fewer than it has links, so its graph is a tree and its mobility is the joint count rather than one. Feeding the same enumerator that produced the closed-chain census — with the minimum-degree condition relaxed to one, because an arm's base and its end each carry a single joint — gives 1, 2, 3, 6, 11, 23, 47, 106 for three links up to ten. That is the number of unlabelled trees, a sequence anybody can look up, and reproducing it is the strongest check the enumerator gets: it was written for a different problem, tested against three mechanism counts, and asked here for a number from a different subject entirely.

    An arm is a tree

    The serial field's chains are the ones that never close, and as graphs they are trees. There are 106 distinct arrangements of ten links joined that way, and exactly one of them is the straight arm every essay in the field has drawn — the other 105 branch.

    part 7 · serial
  14. A SCARA arm, and where it can put its tool. A SCARA arm at its home position, with the axes dashed and a cloud of the tool positions reached over random joint values. The displacement set of an open chain is the product of its joints' groups, one factor per joint, and the question this field asks of it is whether the product is itself a group. Here the logarithms of the reached displacements occupy 4 dimensions, so the motion lies inside Schoenflies motion and composing two of its displacements gives another one. The cloud is a fact about the reach and not about the group: a chain of finite links covers a bounded piece of its group and never the whole of it, which is a separate question and a different field's.

    The arm that is a group

    A SCARA arm has four joints and a six-axis robot has six, and the usual explanation is that four is enough for the job. The better one is that the job is a four-dimensional group of displacements which is not the symmetry group of any surface — so it cannot be one joint, and four is what it costs. The arm's tool face is level everywhere it can reach, and the reason is not that anybody checked.

    part 8 · serial
  15. The joint space an arm's own material forbids. A three-link planar arm, at every pair of relative joint angles on a 101 × 101 grid, with the pairs at which its first and third links are inside each other shaded. It is 21.4% of the arm's own joint space, and it is a two-dimensional picture of a three-dimensional space because the first joint does not enter it: turning the whole arm about its base carries every link with it, so a collision at one base angle is a collision at all of them — checked at forty pairs of relative angles with 0 disagreements. Only the first and third links can meet; consecutive links share a pin and are excluded, exactly as in the closed-loop machines.

    The arm that hits itself

    A three-link arm's joint space is a cube of angles and it may not use a fifth of it, because its own material is in the way. The forbidden set does not depend on where the arm is pointing — which is why it can be drawn as a picture rather than described as a volume.

    part 9 · serial
  16. Reachable, and dexterous. A 3-link planar arm with links 1.6, 1.2, 0.7. The outer region is everywhere the tool can be put: an annulus from 0.00 to 3.50. The inner region is everywhere it can be put at every tool angle — from 1.10 to 2.10, which is 26% of the area. Both are measured by counting cells on a 260 × 260 grid and both agree with the area computed from the radii to 0.06%, which is what makes the picture a measurement.

    An arm's parameters and its poses

    A three-link planar arm has three lengths and a tool position that carries a length, so nothing about it is invisible to a measurement — and it is nevertheless the mechanism on this site where a calibration is hardest, because its parameter count is high, its poses are three-dimensional and its Jacobian is singular where a designer likes to work.

    part 16 · serial

All series