Generalized programming of modular robots through kinematic configurations

The distinctive feature of modular robots consists in their reconfigurable mechanical structure, as they are assembled on-demand from basic mechatronic units. This implies that kinematic models of the robots need to be computed on a case-by-case basis for each specific assembly, which is a manual and hence time-consuming and error-prone procedure. We propose to automate this process by automatically computing such kinematic models starting from simple descriptions of the modules and their assemblies. This automated computation is supported by our toolchain for programming arbitrary modular robots in arbitrary configurations, presented in this paper. We contribute two novel results through this approach. First, a high-level programming language that provides kinematic abstractions for arbitrary modular robots, in contrast to the robot-specific solutions currently available. Second, a programming abstraction to subsume multiple kinematically equivalent robot assemblies into a so-called kinematic configuration, hence eliminating the need to explicitly enumerate and program each of them. These contributions advance current techniques for modular robot programming by demonstrating a tool that a) targets multiple mechanical platforms, offering the first general solution for modular robot programming, and b) raises the abstraction level by allowing users to reason and program in terms of standardized kinematic models that are automatically mapped to physical robot configurations by the toolchain.