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.

News

Arpan Gujarati receives 2021 ACM SIGBED Paul Caspi Memorial Dissertation Award

May 2021
Arpan Gujarati's thesis has received the 2021 ACM SIGBED Paul Caspi Memorial Dissertation Award.

Program Chair of ECRTS 2021

December 2020
Björn Brandenburg serves as the program chair of the 33rd Euromicro Conference on Real-Time Systems (ECRTS'21).

Anne-Kathrin Schmuck receives Emmy Noether Award

September 2020
MPI-SWS postdoctoral fellow Anne-Kathrin Schmuck was accepted to the Emmy Noether Programme of the German Science Foundation (DFG) to establish her own research group developing "Automated modular synthesis techniques for reliable Cyber-Physical System (CPS) design".

Max Planck researchers publish 17 papers at LICS/ICALP 2020

August 2020
Max Planck researchers have co-authored 17 papers at the colocated LICS 2020 and ICALP 2020, two of the top conferences in theoretical computer science.

MPI-SWS Researchers receive ECRTS'20 Outstanding Paper Award

July 2020
MPI-SWS researchers Sergey Bozhko and Björn Brandenburg have received an Outstanding Paper Award at ECRTS 2020 for their paper "Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle."

Papers