Cyber-Physical Systems

PROJEKTE

Semantic Integration of Heterogenous Processes

Ziel des Projektes SHIP ist es, die semantische Modellierung und Analyse, und darauf basierende Verifkationstechniken zu nutzen, zu erweitern und zu adaptieren, um verläßliche, verteilte heterogene...

Stereovision für Greifbewegungen eines humanoiden Roboters

Ziel des Projekts ist die Verbesserung der Interaktion zwischen einem Menschen und einem Heimroboter. Eine der wichtigsten Aufgaben eines solchen Roboters wird es sein, ein Objekt zu greifen und es...

Sicherer Kegelscanner

Im Projekt IGEL wird eine Sicherungskomponente (Sicherheits-Laserscanner) entwickelt, welche zur Kollisionsvermeidung von autonomen, halbautonomen oder gesteuerten Fahrzeugen in industriellen...

Logic Atlas & Integrator

Entwicklung von Methoden und Werkzeugen zur Vernetzung von Logiken/Beweissystemen aus autom. Beweisen, Mathematik und Softwareentwicklung.

Partner

Jacobs-Universität Bremen

 

Formale Entwicklung für Sichere Robotik

FormalSafe zielt auf die computergestützte Verwaltung der vielen Arten von Dokumenten, die in der Entwicklung hochzuverlässiger Systeme vorkommen, mit Anwendungen auf dem Gebiet der Sicheren Robotik.

 

Nach oben

Kontakt

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

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

MZH
Bibliothekstraße 5
28359 Bremen

Cartesium
Enrique-Schmidt-Straße 5
28359 Bremen

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