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

MPI-SWS researchers win QEST'18 Best Paper Award

September 2018
Mahmoud Salamati and Rupak Majumdar have received the Best Paper Award at QEST'18.

Professor Appointment

September 2018
MPI-SWS researcher Mitra Nasri will join TU Delft as an assistant professor starting October 1, 2018.

MPI-SWS researchers win ECRTS'18 Outstanding Paper Award

July 2018
Felipe Cerqueira and Björn Brandenburg have received an Outstanding Paper Award at ECRTS'18.

Best Presentation Award @ ECRTS'18

July 2018
MPI-SWS graduate student Arpan Gujarati has won the ECFTS'18 Best Presentation Award.

MPI-SWS researcher wins RTAS'18 Outstanding Paper Award

April 2018
Björn Brandenburg has won an Outstanding Paper award at RTAS'18.

Papers