Angular clearance bound for a rotating body

ID: angular-clearance-bound-for-a-rotating-body

A rigid body can hit an obstacle while its reference point stays fixed. An angular clearance bound for a rotating body controls the motion of every body point, allowing a collision detection calculation to reason about orientations between sampled poses.
Let a compact set lie within a bounding radius for rigid-body clearance of a fixed pivot. For a planar rotation matrix , a point moves by a chord of a circle:
The same correspondence bounds the Hausdorff distance between the two body sets. For a fixed nonempty closed set of obstacles , let be the nonnegative set distance between and . The triangle inequality, applied to each point pair and then to their infima, gives
This is an explicit Lipschitz continuity bound. It concerns a fixed obstacle and the specified rigid geometry, rather than a universal constant for every robot.
To cover every intermediate orientation with excursion at most from a sampled pose, use , or the simpler . The cap matters because the sine is not increasing beyond . With translation displacement bounded by , the triangle inequality gives the sufficient clearance reduction .
For an original example, a body with rotating by at most moves any point by at most . An exact sampled clearance of leaves at least throughout that angular excursion when the pivot and obstacles stay fixed.
The whole excursion must be bounded, not just the difference between endpoint orientations modulo . A full revolution has identical endpoint orientations but can sweep through an obstacle. Likewise, a unit half-length rod rotating from to about its center clears an obstacle point at by at both endpoints but touches it midway. Adaptive clearance sampling therefore uses bounds on the actual interpolated motion. Configuration-space orientation and clearance are central to the continuous-path planning problem.[ref]

New to topics? Read the docs here!