Prefer a chat interface with context about you and your work?
Algebraic Proofs of Path Disconnectedness using Time-Dependent Barrier Functions
Two subsets of a given set are path-disconnected if they lie in different connected components of the larger set. Verification of path-disconnectedness is essential in proving the infeasibility of motion planning and trajectory optimization algorithms. We formulate path-disconnectedness as the infeasibility of a single-integrator control task to move between an …