🤖 AI Summary
This work addresses the “execution gap” between high-level semantic tasks and executable robot motions by introducing Motion Statecharts—a symbolic, executable motion representation that supports concurrency and hierarchical nesting. Coupled with a unified differentiable kinematic world model, this framework enables end-to-end mapping from semantic task specifications to low-level motion control. Smooth and dynamically feasible trajectories are generated through a linear model predictive control (lMPC)-driven task-function approach incorporating snap (jerk derivative) constraints. The proposed system has been successfully deployed across eight heterogeneous robotic platforms, demonstrating strong cross-platform generalization and real-world efficacy. The accompanying software framework, Giskard, has been publicly released.
📝 Abstract
This paper addresses the Motion Execution Gap, the disconnect between high-level symbolic task descriptions using semantic constraints and executable robot motions. Motion Statecharts are introduced as an executable symbolic representation for complex motions. They allow the arbitrary arrangement of motion constraints, monitors or nested statecharts in parallel and sequence. World-centric motion specification and generalization across embodiments are enabled through the use of a unified differentiable kinematic world model of both, robots and environments. Motion execution is realized through a lMPC-based implementation of the task-function approach, in which smooth transitions during task switches are ensured using jerk bounds. Cross-platform transferability was demonstrated by deploying the method on eight robot platforms, operating in diverse environments. The proposed framework is called Giskard and is available open source: https://github.com/cram2/cognitive_robot_abstract_machine.