Skip to main content Skip to main navigation
Assistierender Roboterarm am Krankenbett (links), Hightech Chip (mittig), Fussball spielende Nao Roboter (rechts)© DFKI

Cyber-Physical Systems

Projects

Page 12 of 13.

  1. SHARE-it - Supported Human Autonomy for Recovery and Enhancement of cognitive and motor abilities using information technologies

    The goal of SHARE-it is to develop a scalable, adaptive system of add-ons to sensor and assistive technology so that they can be modularly integrated …

  2. HasCASL - HasCASL

    HasCASL: Algebraic Specification + Functional Programming = Environment for Formal Software Development

    The algebraic specification language CASL …

  3. SAMS - Safety component for autonomous mobile service robots

    The aim of the SAMS project is the development of a certifiable safety system for service robots and driverless transport vehicles, which uses a …

  4. PGKit - Generic User Interfaces for Interactive Theorem Provers

    Proof General Kit is a new component-based architecture for the Proof General project, based around a uniform protocol for communication between …

  5. AWE - Abstraction and Reuse of Formal Developments

    The aim of the AWE project is to increase this feasibility by developing a methodology for the reuse of formal developments under the slogan Abstracti …

To top

Contact

Assistant to the management:
Kristiane Schmitt, M.A.
Phone: +49 421 218 59840
Kristiane.Schmitt@dfki.de

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

MZH
Bibliothekstraße 5
28359 Bremen

Cartesium
Enrique-Schmidt-Straße 5
28359 Bremen