Concept

Free space — where it appears

The set of configurations a mechanism can occupy, whose connected components are the assemblies no motion can join. Its connected components are the assemblies of a mechanism, and two configurations in different components cannot be joined by any motion however the mechanism is driven.

Named by 9 essays across 8 fields — each of them below, with the objects they name alongside it.

Free in every direction, and it cannot get out. A disc of radius 1 among 3 point obstacles on a circle of radius 1.100. The shaded discs are the obstacles grown by the part's own radius, which is what the part's centre may not enter — the configuration space, and for a round part it is the plane itself. The part is caged when those grown discs overlap enough to close a ring around it, which happens below R = 1/sin(π/3) = 1.154701, and here it does. At every configuration inside the cage the part is free. The three normals all point at its centre, the rank of its rows is two, the escape cone is a whole line, and none of that has anything to do with whether it can leave. A hold is a statement about velocities at one configuration; a cage is a statement about where a finite motion can go, and the second does not follow from the first in either direction. positioned by solving, not by drawing.

Free at every instant and going nowhere

Three points on a circle of 1.1 radii around a unit disc leave it free in every direction at every configuration — rank two, margin nought, the whole plane of centres shaded — and it cannot get out. The threshold is 1/sin(π/n), which is 1.154701 for three, and a flood fill of the free space agrees with the formula at every radius sampled.

holding · Restraint
Free space, in pieces. The driving angle round the circle, with the arcs at which the machine is both assembled and clear drawn heavy. One stud in the way takes a bite out of the turn and leaves 1 arc: the crank can still reach every remaining angle by going the other way. Two studs leave 2, covering 74% of the turn — and every configuration in both arcs is a perfectly good solution of the same constraint equations, on the same assembly branch, at the same mobility. Nothing a solver computes distinguishes an angle in one arc from an angle in the other; what separates them is that the machine cannot be driven from one to the other.

Free space comes in pieces

Every arc on this site has ended at a configuration the mechanism cannot reach. Put two studs in a four-bar's way and its drive falls into two arcs whose ends are configurations it reaches perfectly well and cannot occupy — and no quantity the solver computes tells one arc from the other.

bodies · Body
One piece, and still not reachable. The state of a linear ratchet — a cable tie — is how far in it is pulled, and its free space is the whole interval: every state is connected to every other, with no barrier anywhere. What it does not have is a way back. From the marked state the reachable set is everything forward and only as far back as the tooth the pawl has already dropped into, so 52.1% of ordered pairs are reachable and 4.2% are reachable both ways. Connectivity is symmetric; reachability is an order, and a component count answers the first question and cannot be asked the second.

One piece, and still not reachable

The site decides whether two configurations can be joined by asking whether they are in the same connected component, and that relation is symmetric because a path run backwards is a path. A one-way mechanism breaks the symmetry and leaves the connectivity alone: its free space is a single interval with no barrier anywhere in it, and about half of the ordered pairs of states cannot be joined by any admissible motion.

timing · Intermittent
slider crank: the closest pair at one position. Crank 1, connecting rod 3, the block sliding on the frame's own line. Every joint is where the solver put it, exactly as in the linkage field; the material is the only thing added. The heavy segment joins the two closest points over every pair of parts that is tested — which excludes pairs sharing a pin, since their material surrounds that pin by construction — and its length is the gap: -0.1400 here, between rod · guide, upper. A negative value is a penetration depth, the distance the pair would have to be moved apart, and it is drawn in the warning colour.

The block in the guide has a length

A prismatic pair is a point constrained to a line, and a point on a line of length G has a stroke of G. A block of length ℓ has a stroke of G − ℓ, because both its ends have to stay on the rails — so a guide is as long as the stroke plus the block, and a third of a short one is not stroke at all.

pairs · Pair
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.

serial · Serial
What a sweep at the wrong resolution reports. One machine — a crank passing a stud a tenth of a unit across — swept at six sample counts. At eight samples the smallest gap found is 0.0809 and the machine reads as clear; at twelve it is 0.0067 and still clear; from sixteen on it is negative and the crank is inside the stud by 0.0099. Nothing about the twelve-sample answer looks wrong: the curve it draws is smooth, its minimum is interior, its margin is small and positive. A sweep cannot report what it did not look at, and the repair is not more samples but a bound on what happens between them.

Six things a body is not

A verdict read as a measurement, a hull read as a part, a sweep read as a proof, a drawing read as a configuration, a geometry read as a force, and a plane read as a place. Six claims, each of them what a careful person would say, each answered with a number.

wrong · Misconception
The taut inner, and the walls it is actually held by. A sheath of two 8° bends on a radius of 40, its bore drawn at a clearance of 4, with the shortest path from ferrule to ferrule inside it. Nothing about a bend goes into that path: it is the shortest route the tube allows, found by tightening a funnel against every cross-section in turn, and the places it reaches the wall are where it is held. At this clearance the two bends hold 53% and 53% of their own turn, and the inner is short of the centreline by 0.854 against the closed form 1.117 — 76% of it. Widen the bore and the path lifts off.

Which walls a strand is held by

A Bowden inner is short of its sheath by the clearance times the total turning — a law with no bend radius in it and no route shape. It is exact while the inner touches the inside of every bend, and a bend shallower than the turn the inner spends crossing the bore is not touched at all. Past that the law is an over-estimate, and what the inner actually loses flattens onto a ceiling that has no clearance in it.

strands · Strand
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.

serial · Serial
a crank rocker with a post: the closest pair at one position. The same four-bar with a post bolted to the frame, just clear of the coupler's path. Every joint is where the solver put it, exactly as in the linkage field; the material is the only thing added. The heavy segment joins the two closest points over every pair of parts that is tested — which excludes pairs sharing a pin, since their material surrounds that pin by construction — and its length is the gap: 0.1809 here, between coupler · post. A negative value is a penetration depth, the distance the pair would have to be moved apart, and it is drawn in the warning colour.

Where the boundary moved

Three phases ago this site drew a line around what it computes and listed one thing on the far side as a gap rather than a boundary: interference between links, which needed no new physics, only a body and a test. Here is what that turned out to cost and what it turned out to open.

practice · Practice

Named alongside it

The objects these essays reach for when they reach for this one.

Configuration spaceLink bodyConnected componentInterferenceSigned clearanceAssembly branchConvex hullInverse kinematicsLayer assignmentMisconceptionSelf-collisionWorkspace

All concepts