Cyber-Physical Systems

Projekte

Seite 11 von 13.

GRASPY - 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 …
IGEL - Sicherer Kegelscanner
Im Projekt IGEL wird eine Sicherungskomponente (Sicherheits-Laserscanner) entwickelt, welche zur Kollisionsvermeidung von autonomen, halbautonomen …
LATIN - Logic Atlas & Integrator
Entwicklung von Methoden und Werkzeugen zur Vernetzung von Logiken/Beweissystemen aus autom. Beweisen, Mathematik und Softwareentwicklung.
Partner
Jaco …
FormalSafe - 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 …
GenMod - Generische Algorithmen und Komplexitätsschranken für Koalgebraische Modallogiken
Dieses Projekt entwickelt eine Erweiterung herkömmlicher existierender generisches algorithmischer Methoden für koalgebraische Modallogik, welches als …