Intelligent cyber-physical systems, like autonomous cars, smart homes, smart production or assistant robots, are getting more and more present in our daily and working life. They control safety critical tasks that were prior controlled by human experts and often work in close collaboration with humans. Therefore, it is particularly important to guarantee the safety of people on the one hand and to strengthen their trust in these systems and their willingness to cooperate with them on the other. When humans should collaborate with intelligent systems or entrust their lives to these systems, a new problem arises: humans need to understand which machine behavior to expect in which situation.

Our research is dedicated to the development of new methods for the design and analysis of safe, intelligent and self-explaining cyber-physical systems. Within these research areas, we additionally consider the inherent challenges of embedded hardware-software systems like concurrency, heterogeneity and limited resources.