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 receive RTAS'20 Distinguished Paper Award

May 2020
MPI-SWS researchers Arpan Gujarati, Sergey Bozhko, and Björn Brandenburg have received a Distinguished Paper Award at the 26th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2020) for their paper entitled “Real-Time Replica Consistency over Ethernet with Reliability Bounds”.

General Chair of RTAS'20

October 2019
Björn Brandenburg is the general chair of the 26th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'20), to be held as part of CPSWeek 2020 in Montreal, Canada from April 22 to April 24, 2020.

Several Open Positions in the ERC-funded TOROS Project

August 2019
The TOROS project, kindly supported by an ERC starting grant, is looking to fill several open PhD and Postdoc positions.

Three MPI-SWS Papers at ECRTS'19

July 2019
MPI-SWS researchers, in collaboration with colleagues at TU Delft, the CISTER Research Centre at Polytechnic Institute of Porto, University of Saarland, and Scuola Superiore Sant’Anna in Pisa, Italy, are proud to present three papers at this year's Euromicro Conference on Real-Time Systems (ECRTS) in Stuttgart, Germany.

Advanced Automata Theory Course at TU Kaiserslautern

May 2019
Damien Zufferey and Daniel Neider are co-teaching Advanced Automata Theory in summer 2019 at the University of Kaiserslautern.

Papers