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 paper accepted into RTSS'17

July 2017
The paper entitled "An Exact and Sustainable Analysis of Non-Preemptive Scheduling" was accepted into the program of the 38th IEEE Real-Time Systems Symposium (RTSS 2017).

MPI-SWS researchers win RTAS 2017 Best Paper award

April 2017
Pratyush Patel, Manohar Vanga, and Björn Brandenburg have won the Best Paper award at RTAS 2017.

MPI-SWS researchers win RTAS 2017 Outstanding Paper award

April 2017
Mitra Nasri and Björn Brandenburg have won an Outstanding Paper award at RTAS 2017.

Principles of Cyber-Physical Systems Course at TU Kaiserslautern

April 2017
Sadegh Soudjani is teaching Principles of Cyber-physical Systems at the University of Kaiserslautern in Summer 2017.

Advanced Automata Theory Course at TU Kaiserslautern

April 2017
Rupak Majumdar and Daniel Neider are co-teaching Advanced Automata Theory in summer 2017 at the University of Kaiserslautern.

Papers