This ontology was created during a master thesis about the applicability of description logic reasoning support for ALICA.
Three weeks after the Dutch Open 2012, the dust settled. We are now in the process of releasing our framework to the public.
In a first step, three ROS-stacks are published:
Constraint satisfaction and constraint optimisation problems can be used to express behaviours of robotic and multi-robotic systems.
On this page we will publish research material, programs and news regarding this topic.
The file CSP-Benchmarks contains benchmarks problems from robotic problems. The problems are intentionally kept small, a solver should be able to deal with most of them in near-realtime.
Best Practices for Programming Behaviours and Strategies in the Carpe Noctem Framework
A new research project named IMPERA was started at the Distributed Systems department. In cooperation with the Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) two of our phd students develop strategies for distributed mission and task planning. An application example is the exploration of unknown, lunar environment using a team of mobile robots.