Cyber-Physical Systems

Projects

Page 11 of 13.

GRASPY - Stereo Vision For Grasping by Humanoid Robot
The project aims at improving the quality of interaction between a human and a domestic robot. One of the most important tasks of such a robot will be …
IGEL - Sicherer Kegelscanner
In this project a safety component (safety laser scanner) is developed that provides collision avoidance for vehicles in industrial settings using an …
LATIN - Logic Atlas & Integrator
Developing methods and tools for interfacing logics and proof systems used in automated reasoning, mathematics, and software engineering.
Partners
Jaco …
FormalSafe - Formal Development for Safe Robotics
FormalSafe aims at the computer-supported management of the many and diverse
documents produced during the development of highly dependable systems, …
GenMod - Generic Algorithms and Complexity Bounds in Coalgebraic Modal Logic
This project is concerned with the extension of existing generic algorithmic methods in coalgebraic modal logic, conceived as a generic semantic …