🤖 AI Summary
This study addresses the consistency challenges arising from independent reconstructions in closed-loop robot control and simulation by proposing a graph-native compilation framework. This work introduces a novel compilation paradigm based on canonical mechanism graphs, transforming mechanism graphs into shared mechanical interfaces to unify modeling, control, and simulation. Through techniques including residual Jacobian analysis, tangent space lifting, constraint curvature correction, and dependency-aware reuse, the method achieves end-to-end consistency preservation across configuration, kinematics, and dynamics. Experimental results validate physical consistency across diverse robot types. In the Kangaroo scenario, the proposed approach reduces evaluation time by 96.7% and execution time by 66.8%, demonstrating substantial computational efficiency gains while maintaining rigorous physical fidelity.
📝 Abstract
Robots with kinematic loops, coupled actuators, and changing contacts require consistent models of configuration, motion, force, and dynamics. Yet these interfaces are often reconstructed separately for control and simulation, making closure and actuation consistency difficult to maintain. This paper presents RoboCompiler, a graph-native framework that compiles a canonical mechanism graph into a shared mechanical interface. From bodies, joints, frames, inertias, and actuator ports, it constructs closure paths and analytic residual Jacobians, then assembles feasible configurations through rank-checked continuation and correction. A tangent lift maps independent velocities to full robot and task motion, while paired actuator-port maps preserve virtual work. A constraint-curvature correction extends the reduction to accelerations and projected rigid-body dynamics, including floating-base and support modes. Cycle-local evaluation, generated Jacobians, and dependency-aware reuse enable localized updates when closure inputs change. We evaluate physical loops and task-induced constraints on a Komatsu excavator, Unitree Go2, Franka Panda, Kangaroo, and a six-UPS Stewart platform. High-precision constrained-dynamics and independent Pinocchio checks confirm mechanical consistency; MuJoCo and Isaac Sim/PhysX executions demonstrate task performance and model reuse under native contact. For Kangaroo, compilation reduces residual-and-Jacobian evaluation time by 96.7% and closed-loop rollout wall time by 66.8%, with dynamics and control held fixed.