Projects
This is a short overview of our current projects. A list of past projects can be found here.
Safety component for autonomous mobile service robots (SAMS)
The project aims at developing a fully integrated safety component which stops a mobile robot reliably driving into obstacles, using the distance measurements of a laser scanner and the velocity and state of the robot. The control software of the safety component is to be developed and verified formally. The industrial partner is Leuze lumiflex. [→ More.]
Funding: BMBF, duration: 2006- 2009.
Formale Development for Safe Robotic (FormalSafe)
FormalSafe aims at the computer-supported management of the many and diverse documents produced during the development of highly dependable systems, in particular in the area of safe robotics.[→ More.]
Förderung: BMBF, Laufzeit: 2008- 2010.
Ontology-Driven Management of Change (OMoC)
OMoC aims at developing methodologies, techniques and tools to support a management of change of informal but internally structured documents. [→ More.]
Förderung: DFG, Laufzeit: 2008-2010
Generic Algorithms and Complexity Bounds in Coalgebraic Modal Logic
This project is concerned with the extension of existing generic algorithmic methods in coalgebraic modal logic, conceived as a generic semantic framework for modal logics in a broad sense. Moreover, the algorithms obtained will be implemented in an experimental tool extending the existing Coalgebraic Logic Satisfiability Solver (CoLoSS).
Funding: DFG, duration: 2007- 2009
.Service-Oriented Architectures for Network Support in Homeland Security (SoKNOS)
SoKNOS aims at the design and support of platform implemented as a service-oriented architecture for the area of homeland security. [→ More.]
Förderung: BMBF, Laufzeit: 2007 - 2009.
Supported Human Autonomy for Recovery and Enhancement of cognitive and motor abilities using information technologies (SHARE-it)
The goal of SHARE-it is to develop a scalable, adaptive system of add-ons to sensor and assistive technology so that they can be modularly integrated into an intelligent home environment to enhance the individual's autonomy.
Funding: EU, duration: 2007-2009