Automating CPS Design

In the Automating CPS Design research group, we develop methods to automate the design process of correct-by-construction cyber-physical/embedded system controllers and software to the greatest extent possible. At the interface between applications and foundational research, we work on new approaches to solve the difficult computational problems that are at the core of this domain.

rg-aai.png

Ansprechpartner: Prof. Dr. Rüdiger Ehlers

Weitere Informationen