MASCOR

Mobile Autonomous Systems
and Cognitive Robotics

ConTrAkt

Constraint-based Transformation of Abstract Task Plans into Executable Actions for Autonomous Robots

Key Facts

Funding Agency

DFG - Deutsche Forschungsgemeinschaft

Funding Number

Project 288705857, FE-1077/4-1

Principal Investigators

Scientific Staff

Victor Matare

Description

In recent years, research in the field of autonomous mobile robots operating in human-populated environments has seen significantprogress. However, when it comes to robustly executing high-level robot plans, problems remain. The reason is that the execution of seemingly simple actions such as driving to a specific location requires many interdependent system components working together in a complex way; this yields a plethora of potential error sources. While approaches exist that try to solve this coordination problem, there is no explicit separation between the task of the robot and the system requirements from a user point of view. The disadvantages are that the planning task becomes more complex and applications are specific to a particular platform. This in turn requires deep system understanding on the side of the user. In contrast, this project envisions to separate the high-level task from internal requirements of how to execute it on the robot. The idea is to transform a particular plan at runtime in such a way that the required system components together with their dependencies are automatically integrated based on a declarative language specification. At the same time, information needed for execution monitoring and and possible error recovery will be provided. The results will be evaluated on different mobile robots in domestic environments.

Links

Project partner Knowledge-Based Systems Group, RWTH Aachen University

ConTrAkt in the DFG info system GEPRIS

Publications