Codex @codex  0

A gait is a pattern of coordinated limb motion and contact used in locomotion. In a periodic gait, the order of foot contacts, their relative timing and the duration of each contact characterize a cycle. A quadrupedal robot can change gait without changing the number of legs or their basic mechanical arrangement.

For a repeated foot motion with period $T$, the stance phase is the interval during which that foot contacts the ground; the swing phase moves it between contacts. If stance lasts $T_s$, its contact duty cycle is $\beta =T_s/T$. Relative phase specifies how one leg's cycle is shifted from another's. Equal duty cycles do not determine a unique gait because those phase shifts can differ.

For an original four-leg schedule, take front-left, front-right, hind-left and hind-right phases $(0,1/2,3/4,1/4)$ with $\beta =3/4$. Apart from transition instants, three feet contact the floor. A second constructed schedule takes phases $(0,1/2,1/2,0)$ and $\beta =1/2$: diagonal pairs contact together and alternate every half-cycle, illustrating a trot. The first schedule has total contact-time sum $4\beta T=3T$ per cycle; the second has $2T$. Summing leg contact times does not mean a stride itself lasts three or two periods.

A real dynamic apparatus illustrates why timing must connect to forces. The 2015 MIT Cheetah demonstration adjusted approach strides and motor forces to execute a running jump; its account describes bounding as successive small jumps.^[ref] The numerical schedules above are not measurements from that experiment.

A support polygon is useful for a stipulated static contact model, but a contact schedule alone does not establish static or dynamic feasibility. Friction, joint motion, actuator capability and angular momentum can matter. Measuring foot-contact times alongside body motion and ground reactions tests whether a planned gait is actually realized. Nonperiodic transitions, starts and obstacle maneuvers additionally require more than one fixed repeating cycle.

The MIT Cheetah robot is an electrically actuated quadrupedal robot research platform used to investigate dynamic legged locomotion and control. Specific demonstrations must be identified by version and experiment. In the primary MIT account of a 2015 running-jump demonstration, onboard Lidar estimated obstacle height and distance, software adjusted the approach strides, and a subsequent calculation selected the jumping action.^[ref]

The experiment connects perception to physical contact. Detecting an obstacle does not by itself establish a feasible jump: the machine must reach a suitable takeoff state and supply forces within its motor and ground-contact constraints. Computation is performed while the robot approaches the obstacle, so available decision time is also a physical constraint.

An original ballistic approximation illustrates one requirement. If the center of mass must rise $\Delta h$ after takeoff, with gravity the only vertical force during flight, its launch velocity must satisfyFor $\Delta h=0.20\mathrm{m}$, this is about $1.98m/s$. If the vertical velocity starts at zero and that change is generated over $0.10\mathrm{s}$ of contact, vertical impulse balance givesThese values are illustrative requirements for the stated center-of-mass model, not measured MIT parameters. Foot clearance, body orientation, leg motion and landing cannot be inferred from this one vertical calculation.

The primary report describes tests on both a treadmill and an indoor track. The available approach distance differed, and the reported clearance success differed as well. This makes the observation conditional on apparatus and trial conditions rather than a universal performance figure.^[ref]

The scientific value of the platform is that a proposed controller has to close the loop through actual motors, contacts and sensor estimates. Successful trials demonstrate a capability in the tested conditions; robustness to other surfaces, disturbances or obstacles requires additional experiments.

A support polygon is the convex hull of a body's supporting contact positions, projected onto a horizontal plane. For a rigid body resting on that plane in a uniform gravitational field, with gravity as the only applied load besides support reactions, it describes which horizontal center of mass positions can admit static equilibrium. Widely separated feet can support a center of mass above empty space between them: the footprint's convex hull, rather than the material under every point, matters.^[ref]

The geometry follows directly from force and torque balance. Let the contact positions be $(x_i,y_i,0)$ and their upward normal forces be $N_i\ge 0$. The inequality expresses unilateral contact: an ordinary unbonded support can push the body upward but cannot pull it downward. For total mass $m>0$, gravitational acceleration $g>0$ and horizontal center of mass projection $c=(x_c,y_c)$, balance givesDivide by $mg$ and write ${\lambda }_i=N_i/(mg)$. ThenThus $c$ must be a convex combination of the contacts, which is exactly membership in their convex hull. Conversely, any such convex combination supplies nonnegative reactions $N_i=mg{\lambda }_i$ satisfying this model's balance equations. The center of pressure of these vertical contact forces coincides with $c$. This proves existence of allowable reactions; it does not determine every reaction uniquely when there are more contacts than independent balance equations.

For an original three-foot example, take contact positions $(0,0)$, $(1,0)$ and $(0,1)$ in metres. The support polygon is the triangle described by $x\ge 0$, $y\ge 0$, $x+y\le 1$. A $10\mathrm{kg}$ body with $c=(0.30,0.20)\mathrm{m}$ requires the convex combination coefficientsWith $g=9.81m/{\mathrm{s}}^2$, the corresponding normal forces are $49.05$, $29.43$ and $19.62\mathrm{N}$. Moving the projection to $(0.70,0.50)\mathrm{m}$ would require ${\lambda }_1=-0.20$, a downward reaction at the first foot. No set of nonnegative normal forces can hold that configuration at rest under the stated loads.

A simple test uses a rigid plate on three small supports, a movable known mass, and three load cells measuring the upward reactions. Include the plate's own mass and center of mass when calculating the combined projection. As that projection approaches the edge $x+y=1$, the first support's reading approaches zero. Beyond the edge, maintaining the same contact configuration would require the forbidden downward reaction; the observed motion or changed contact set marks the failure of the original static equilibrium. This is a proposed apparatus test of the balance equations, not reported experimental data.

The distance from an interior projection to the polygon's nearest edge is a static tipping margin; here it is $\min (0.30,0.20,0.50/\sqrt{2})=0.20\mathrm{m}$. A boundary projection has zero margin: some supports unload, and an arbitrarily small outward shift can make balance impossible. A strictly interior projection gives a positive geometric margin against small horizontal shifts under the same model. It is not a general certificate of dynamical stability for a flexible or articulated system.

This explains a constraint in a quadrupedal robot's gait. Four feet at the corners of a square give a square support polygon. Lifting the corner $(1,1)$ leaves the triangle $x\ge 0$, $y\ge 0$, $x+y\le 1$. A center of mass projection at $(0.60,0.60)$ was inside the square but is outside that triangle, so the body must shift or use dynamics to lift that foot without losing the assumed balance. The contact set must be updated when computing the support polygon.

The assumptions matter when applying the test. Nonhorizontal contacts require the full balance equations and admissible contact forces, including Coulomb friction; a projected hull alone need not decide feasibility on irregular terrain.^[ref] Additional horizontal loads also change the balance problem. For example, a horizontal force $F$ applied at center of mass height $h$ produces an overturning torque $Fh$ about the relevant edge. If the inward horizontal distance to that edge is $d$, incipient tipping of a rigid body satisfies $Fh=mgd$. Whether the body slides first depends on static friction. The gravity-only support polygon contains no information about $h$ or that additional load.

A trot in a quadrupedal robot coordinates diagonal leg pairs: front-left with hind-right, and front-right with hind-left. The two pairs alternate their stance phases and swing phases. The pairing and relative timing define the pattern; the fraction of each cycle spent in contact can vary.

For an original periodic model, take cycle period $T$ and normalized cycle phase $u=t/T(\mathrm{mod}1)$. Let the front-left/hind-right pair have phase zero and the other pair have phase $1/2$. Each foot remains in stance phase for fraction $\beta$ of the cycle. At $\beta =1/2$, one diagonal pair contacts while the other swings, apart from the idealized transition instants.

The contact-time consequences follow directly. For $\beta <1/2$, the diagonal-pair contacts do not overlap, and the fraction of the cycle with no foot contact isFor $\beta >1/2$, the intervals overlap, and the fraction with all four feet in contact is $2\beta -1$. Thus $\beta =0.4$ gives 20% no-contact time, while $\beta =0.6$ gives 20% four-foot overlap. The average number of contacting feet is $4\beta$ in either case, but an average does not describe the instantaneous support.

For stipulated $T=0.5\mathrm{s}$ and $\beta =0.6$, each foot's stance lasts $0.3\mathrm{s}$ and swing lasts $0.2\mathrm{s}$. Each pair overlaps the other for $0.05\mathrm{s}$ at each exchange, totaling $0.1\mathrm{s}$ per cycle. These are constructed timings, not measurements of a particular machine.

Two ideal diagonal point contacts have a support polygon reduced to a line segment. Static balance would require the projected center of mass to lie on that segment under the usual horizontal-plane assumptions, leaving no area margin to lateral disturbance. Dynamic motion additionally involves contact forces, angular momentum, friction and actuator limits. The contact and equilibrium models in the primary robotics text explain why a geometric schedule alone is insufficient.^[ref]

A proposed robot trial records all foot-contact events, body motion and ground contact forces while commanding the diagonal pattern. It checks whether the planned duty fraction and phase offsets are realized and whether motion remains feasible. Contact timing identifies the gait; the force and motion records test its execution.