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

Anne-Kathrin Schmuck joins MPI-SWS tenure-track faculty

July 2023
Anne-Kathrin Schmuck joins the tenure-track faculty at our institute starting July 2023.

MPI-SWS researchers receive RTAS'23 Best Paper award

May 2023
Cedric Courtaud and Björn Brandenburg have received the Best Paper award at RTAS 2023.

Kaushik Mallik awarded ETAPS Doctoral Dissertation Award

April 2023
Kaushik Mallik's thesis has received the 2023 ETAPS Doctoral Dissertation Award.

MPI-SWS researcher receives best presentation award at RTSS'22

December 2022
Filip Marković has received an award for the best presentation at RTSS’22.

MPI-SWS Researchers receive RTSS'22 Best Paper Award

December 2022
MPI-SWS researchers have received the 2022 Best Paper Award at RTSS for their paper "In-ConcReTeS: Interactive Consistency meets Distributed Real-Time Systems, Again!"

Papers