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 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.

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.

Papers