Aug 2026· IEEE Control Systems Letters· Vol 10, pp. 2173-2178· 0 citations· 17 references
Computer ScienceEngineering
TL;DR
A dynamics-violation metric is introduced and a trusted convex inner approximation is extracted using an IRIS-inspired inflation procedure directly in action space, resulting in reusable convex families of actions that can be queried and composed with linear programs.
Abstract
Underactuated systems pose a challenge for convex motion planning because their dynamically feasible motions lie on a manifold of trajectories in function space. Building on our earlier formulation of polytopic action sets (PAS), this letter presents a method for rapidly generating, online, trusted convex sets of short-horizon actions for underactuated and potentially nonlinear systems. Around a nominal trajectory, we construct local finite-dimensional action coordinates in which each parameter vector encodes a complete nearby motion through an affine trajectory map, rendering collision-avoidance and control bounds linear. To remain consistent with the nonlinear dynamics, we introduce a dynamics-violation metric and extract a trusted convex inner approximation using an IRIS-inspired inflation procedure directly in action space. The resulting PAS are reusable convex families of actions that can be queried and composed with linear programs, and a PAS-guided tree expansion treats nodes as composed reachable families rather than single trajectories, coupling local nonlinear fidelity with convex reuse for longer-horizon planning. The planner solves cluttered planar scenes in tens of milliseconds (14– $78\times $ faster than a kinodynamic RRT baseline) and reduces terminal error on a nonlinear underactuated benchmark by 26–86% over sampling and NLP baselines.
This work presents a solution to nonconvex, game-theoretic motion planning problems subject to disturbances over long time horizons. The problem is posed as a partially-decoupled generalized Nash equilibrium problem, in which each agent's dynamics depend only on its own state and control, admitting fast solution method...
We present a fast numerical method for safe continuous-time motion planning under Temporal Logic (TL) specifications. The method generates smooth continuous trajectories that remain collision-free while robustly satisfying temporal and logical task requirements. A central component of our method is the formulation of n...
Lukas Pries, Joris Verhagen, Jon Arrizabalaga et al.· 0 citations
Motion planning problems such as collision-free navigation and contact-rich manipulation can be naturally formulated as optimization problems that couple discrete decisions with continuous trajectories. The Graphs of Convex Sets (GCS) framework offers a practical solution to these problems. It represents discrete decis...
Ananya Trivedi, Sarvesh Prajapati, Zhe-Xin Xu et al.· 0 citations
A new approach for computing gradients of analytic IK parameterizations is presented, using the inverse function theorem to recover the desired gradients from the ordinary forward kinematic Jacobian, and a least-squares domain extension and an optimization-amenable description of the reachability constraint are present...
Thomas Cohn, Seiji Shaw, Harel Biggie et al.· 2 citations
This work explores a new axis of vectorization built upon reparameterizing the planning space through analytic IK, and shows that the planner can synthesize plans in microseconds to milliseconds for high dimensional systems, with complex constraints, up to 10x faster than the current state-of-the-art.
S. R. Iyer, Thomas Cohn, Zachary Kingston· 0 citations
A geometry-driven framework for certifying infeasibility through an explicit resolution-dependent analysis of configuration space topology is presented, and a parallel frontier-expansion algorithm that exploits GPU acceleration for efficient simplicial reconstruction in high-dimensional spaces is developed.