Projekte

FAIRe – Frugal Artificial Intelligence in Resource-limited environments

Künstliche Intelligenz (KI) findet zunehmend vielfältige Anwendungen in der physischen Welt, insbesondere auf eingebetteten, cyber-physischen Geräten mit begrenzten Ressourcen und unter anspruchsvolle

ECXL – Eine erweiterbare und konsistente ebenenübergreifende RISC-V Verifikationsplattform

Ziel des Projektes ECXL ist die Entwicklung einer Entwurfs- und Verifikationsplattform für RISC-V-basierte Systeme. Die Verifikationsplattform erlaubt die Modellierung auf der abstrakten elektronische

Fast&Slow – Kombination Symbolischer und Subsymbolischer Methoden

Deep-Learning-Verfahren werden in vielen Anwendungsgebieten eingesetzt und arbeiten nach einer Trainingsphase sehr effizient. Allerdings kann über ihre Korrektheit im allgemeinen keine verlässliche Au

VerSys – Eine konsistente Verifikationsplattform zur frühen Softwareentwicklung für RISC-V-basierte Systeme

Ziel des Projektes VerSys ist die Entwicklung einer konsistenten Entwicklungsplattform für die frühzeitige Software-Entwicklung auf Basis der RISC-V-Technologie, einer Befehlssatzarchitektur für Mikro

INTUITIV – Intuitiv-nonverbale und informativ-verbale Roboter-Mensch-Kommunikation

Unser Ziel ist zu untersuchen wie Intentionen eines Roboters von Menschen verstanden werden können durch antizipierbare Pfadwahl in Kombination mit ikonischer und sprachlicher Kommunikation, so dass d

HYSOCIATEA – Hybrid Social Teams for Long-Term Collaboration in Cyber-Physical Environments

Das vom Bundesministerium für Bildung und Forschung (BMBF) geförderte Projekt HySociaTea (Hybrid Social Teams for Long-Term Collaboration in Cyber-Physical Environments) realisiert und untersucht die

SIRKA – Sensoranzug zur individuellen Rückmeldung körperlicher Aktivität

In vielen körperlich anstrengenden Berufen bilden stark belastende Bewegungsabläufe ein erhebliches Risiko für Berufskrankheiten in der zweiten Lebenshälfte. Das Projekt SIRKA möchte einen „Sensoranzu

SAMS – Sicherungskomponente für Autonome Mobile Systeme

Ziel des Projektes SAMS ist die Entwicklung einer zulassungsfähigen Fahrwegsicherung für Serviceroboter und fahrerlose Transportsysteme (FTS), die mit einem zertifizierten Sicherheits-Laserscanner die