Provably Feasible Semi-Infinite Program Under Collision Constraints via Subdivision

Duo Zhang,Chen Liang,Xifeng Gao,Kui Wu,Zherong Pan
DOI: https://doi.org/10.1109/tro.2024.3391649
IF: 7.8
2024-05-10
IEEE Transactions on Robotics
Abstract:We present a semi-infinite program (SIP) solver for trajectory optimizations of general articulated robots. These problems are more challenging than standard nonlinear program by involving an infinite number of nonconvex, collision constraints. Prior SIP solvers based on constraint sampling cannot guarantee the satisfaction of all constraints. Instead, our method uses a conservative bound on articulated body motions to ensure the solution feasibility throughout the optimization procedure. We further use subdivision to adaptively reduce the error in conservative motion estimation. Combined, we prove that our SIP solver guarantees feasibility while approaching the optimal solution of SIP problems up to arbitrary user-provided precision. We demonstrate our method toward several trajectory optimization problems in simulation, including industrial robot arms and UAVs. The results demonstrate that our approach generates collision-free locally optimal trajectories within a couple of minutes.
robotics
What problem does this paper attempt to address?