Search papers, labs, and topics across Lattice.
This paper introduces CSymPlan, a certified symbolic planning and control framework designed for high-degree-of-freedom (DOF) manipulators, addressing the limitations of traditional decoupled motion-generation stacks. By employing both offline and online implementations, CSymPlan effectively synthesizes collision-free paths while ensuring compliance with actuator limits and environmental uncertainties. Experimental results demonstrate that both implementations achieve reach-avoid tasks without safety violations, showcasing a robust approach to real-time robotic control in dynamic environments.
CSymPlan guarantees zero safety violations in high-DOF manipulator tasks, even in the face of actuator limits and environmental uncertainties.
Robot manipulators are commonly engineered around a decoupled motion-generation stack: a planner computes a collision-free path and a lower-level controller tracks the resulting reference. This separation is computationally convenient, but it can produce references that are difficult to execute under actuator limits, tracking error, model mismatch, and small obstacle clearances. We present CSymPlan, a certified symbolic planning and control framework for high-DOF manipulators with two complementary implementations: an offline implementation that precomputes certified reach-avoid feedback policies for known workspaces; and an online implementation that synthesizes or updates symbolic policies at runtime from changing task and perception information using parallelization. The offline implementation reduces the manipulator dynamics to a sampled perturbed double-integrator model in operational space through feedback linearization, treats torque-realization errors, modeling inaccuracies, and measurement uncertainty as bounded disturbances, and refines the synthesized symbolic policy to the Franka FR3 through a quantization--lookup--torque realization pipeline. The online implementation uses the same abstraction and refinement interface, but replaces the precomputed policy table with a runtime pFaces request--synthesis--execution loop. In randomized simulated benchmarks and perception-driven Franka FR3 experiments, both implementations complete reach-avoid tasks with zero safety violations; whenever no certified action exists, the robot holds, replans, or stops safely instead of executing an uncertified command.
