CARMEN modules for the RoboX platform.