Zur Hauptnavigation / To main navigation

Zur Sekundärnavigation / To secondary navigation

Zum Inhalt dieser Seite / To the content of this page

Sekundärnavigation / Secondary navigation

Inhaltsbereich / Content

Invited presentation at SNR 2017

There was an invited presentation of Prof. Grimm on Affine Arithmetic Decision Diagrams (AADD) at the SNR 2017 workshop (http://snr2017.pages.ist.ac.at/#invited). The presentation slides can be found here. A paper on AADD was published here

New Project: KvUiCPS

We started a new research project "Compositionally of Uncertainties in Cyber-Physical Systems (KvUiCPS)". In the project, 1 PhD position is 100% funded by a leading automotive supplier. Within the project we investigate means to document, model, and validate/verify uncertainties and its impacts in complex cyber-physical systems. 

Horizon 2020 project starts 01/01/2016: VICINITY

On January, 1st we start a new, EC funded (H2020) project: VICINITY. Objective of this project is to create means that increase interoperability of different things across domains in the Internet of Things. The approach is to develop a HW/SW platform that provides "Interoperability as a Service". 

VICINITY is a "large-type (ex: IP)" H2020 project with 4 years duration. It is coordinated by Prof. Grimm from TU Kaiserslautern's chair on design of Cyber-Physical Systems.



Book of Prof. Grimm now also in Chinese translation

The book "Embedded Systems for Energy Management and Smart Appliances (springer)" from Prof. Grimm is now also available in a Chinese translation (Springer & China Machine Press, ISBN 978-1-4419-8794-5/978-1-4899-8728-0, list price 49.80 RMB, first printing 2.800 copies). 

ANCONA gestartet

New national BMBF-Projekt has been startet on 01.07.2014: ANCONA