Cyber-Physical Systems


Learning and Verifying Complex Behaviour of Humanoid Robots

The validation of systems based on deep learning for use in safety-critical applications proves to be inherently difficult, since their subsymbolic mode of operation does not provide adequate levels...

Simulation-based Design Tool for Automated Checking of Analog-digital Electronic Systems

Microelectronic hardware and software systems are the key component for the majority of innovations in current and future systems. The verification, i.e. the proof of the correct functionality of the...

AI-Space for Intelligent Health Systems

In the project KI-SIGS (AI-Space for Intelligent Health Systems), companies, universities and research institutions from northern Germany are pooling their expertise in the field of medical AI in...

AdaMeKoR project part: Robotic arm assistance system and integrated robotic concepts for patient transfer

The overall objective of AdaMeKoR is the development of an adaptive and multifunctional motorized bed with robotic arm system for use in nursing.

For this purpose, sensor components are developed,...

Cooperative, modular, mobile Smart Life Lab

The aim of the project is to support researchers in the design, evaluation and subsequent mediation of networked objects. For this purpose, a flexible concept is pursued, in which both established...

To top


Kristiane Schmitt, M.A.
Phone: +49 421 218 59840

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Cyber-Physical Systems

Bibliothekstraße 5
28359 Bremen

Enrique-Schmidt-Straße 5
28359 Bremen

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz