Cyber-Physical Systems

Cyber-physical systems (CPS) research at MPI-SWS explores the design, implementation, and analysis of computing systems that interact with the physical world. Such systems are subject to stringent timing and resource constraints as well as uncertainties in the operating environment. Nevertheless, they must operate safely and reliably. Recent projects in CPS include the model-based synthesis of control systems, the testing and verification of timed and hybrid systems, the formal verification of real-time scheduling theory, the design and analysis of predictable real-time locking protocols, and the implementation and evaluation of multicore real-time schedulers.


MPI-SWS researchers win RTSS 2016 best-paper award

December 2016
Björn Brandenburg and Mahircan Gül have received the best-paper award at RTSS'16.

Program Analysis course at TU Kaiserslautern

November 2016
Course Announcement: Program Analysis. Rayna Dimitrova is teaching Program Analysis at the University of Kaiserslautern in the Winter 2016-17 semester.

MPI-SWS researcher wins RTNS 2016 best-paper award

October 2016
Mitra Nasri has received the best-paper award at the 24th International Conference on Real-Time Networks and Systems (RTNS 2016) for her paper entitled "On the Problem of Finding Optimal Harmonic Periods.”

Björn Brandenburg will chair EMSOFT'17

October 2016
Robert de Simone (INRIA) and Björn Brandenburg are co-chairs of the 2017 ACM SIGBED International Conference on Embedded Software (EMSOFT'17), to be held in conjunction with Embedded Systems Week (ESWEEK) from October 15 until October 20 in Seoul, South Korea.

Rupak Majumdar will chair CAV 2017

October 2016
Rupak Majumdar and Viktor Kuncak (EPFL) are co-chairs of the 29th International Conference on Computer-Aided Verification (CAV 2017), to be held between July 22 and 28, 2017 in Heidelberg, Germany.