Search papers, labs, and topics across Lattice.
The paper introduces Lazy Adaptive Reachability Certification (LARC), a method that optimizes trajectory certification for robot manipulators by selectively bisecting only intervals that show inconclusive clearance tests. This approach significantly reduces computational overhead, achieving a median speedup of 10.28x while maintaining certification accuracy across various trajectories. LARC effectively bounds link occupancy and ensures continuous-time clearance from static obstacles, demonstrating its potential to enhance efficiency in robot motion planning.
LARC achieves a staggering 10.28x speedup in trajectory certification without sacrificing accuracy, revolutionizing how we approach robot motion planning.
Discrete trajectory checks can miss collisions between sampled robot states. Reachability-based certification bounds motion between states, but uniform time partitions waste computation where clearance is large. We present lazy adaptive reachability certification (LARC), which checks a planned trajectory by bisecting only intervals with an inconclusive clearance test. For piecewise-cubic Hermite joint trajectories, the method bounds link occupancy using midpoint capsules inflated by exact componentwise speed maxima. Certified intervals covering the trajectory provide continuous-time external-obstacle clearance, subject to geometric containment, static obstacles, and a prescribed margin. On 160 AgileX PIPER trajectories from 80 start-goal pairs, LARC matched all decisions of the fixed-fine baseline at depth nine. It used 20328 interval evaluations (24.8% of baseline work), with a median paired speedup of 10.28x. A separate MoveIt/FCL audit checked 158051 states and detected collisions in 21 direct-interpolation controls, none of which LARC certified. The method reduced computation under a shared certificate model, but 27 of 139 sampled-clear trajectories remained uncertified. The sampled audit cannot independently prove continuous-time clearance.
