Cyber-Physical Systems

Projekte

Seite 12 von 13.

SHARE-it - Supported Human Autonomy for Recovery and Enhancement of cognitive and motor abilities using information technologies
Ziel des Projektes SHARE-it ist es, ein skalierbares und adaptives System von Zusatzkomponenten für Sensoren und Assistenztechnologien zu entwickeln, …
HasCASL - HasCASL
Kombination von algebraischer Spezifikation und funktionaler Programmierung als Umgebung für formale Softwareentwicklung.
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 …
PGKit - Generische Benutzerschnittstellen für interaktive Theorembeweiser
Ziel des Proof General Kit ist die Implementation eines Rahmenwerks für interaktives Theorembeweisen, basierend auf einer leichtgewichtigen Middleware …
AWE - Abstraktion und Wiederverwendung Formaler Entwicklungen
Das Projekt AWE untersucht das Potential der systematischen Verallgemeierung von formalen Entwicklung zur besseren Wiederverwendung.
Partner
- Universitä …