Projects

SPAICER – Scalable adaptive production systems through AI-based resilience optimization

The innovation competition "Artificial Intelligence as a Driver for Economically Relevant Ecosystems" (AI Innovation Competition) of the Federal Ministry of Economic Affairs and Energy (BMWi) is a fir

Fast&Slow – Combination of Symbolic and Subsymbolic Methods

Deep learning methods are used in many application areas and work very efficiently after a training phase. However, in general no reliable statement can be made about their correctness. In contrast, t

VerSys – A Sound Verification Platform for Early Software Development for RISC-V based Systems

The aim of the VerSys project is to develop a consistent platform for early software development based on RISC-V technology, an instruction set architecture for microprocessors which has been develope

WALL-ET – Warehouse Autonomous Lean Logistics Entity for Transportation

The goal of the German-Korean cooperation project WALL-ET is the development of a social transport robot, which can be used in Industrie 4.0 as well as in retail trade of the future. Through the scien

ABILITY – Ganzheitliche Befähigung zur hybriden Wertschöpfung

Die Verbindung von Sachgütern und Dienstleistungen zu hybriden Leistungsbündeln führt zu neu gebündelten Formen der Wertschöpfung: Das Produkt wird zum materiellen Träger einer Vielzahl von Dienstleis

PrädBioSys – Predictive analysis of bio signals for situational recommender systems in the field of offline retail

From an analytical, conceptual and technical point of view, the project investigates the implementation of a situation-specific recommendation system that adapts to the customer's stress level and thu

TRACTAT – Transfer of Control (ToC) zwischen Autonomen Systemen und Menschen

The TRACTAT project aims to lay the foundation for a smooth and effective Transfer of Control (ToC) between autonomous systems and humans in cyber-physical environments. Autonomous systems, like self-