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

Rupak Majumdar awarded ERC Advanced Grant

June 2026

Rupak Majumdar has been awarded an ERC Advanced Grant worth approximately €2.5 million for his project „Pascal: Formal Performance Analysis at Scale“. The project aims to develop new mathematical foundations and practical tools for analyzing and verifying the performance and resilience of large-scale distributed computer systems.

MPI-SWS researcher receives 2024–2025 ACM SIGBED Paul Caspi Memorial Dissertation Award

April 2026

Mario Günzel, a postdoctoral researcher in the Real-Time Systems group, has been recognized with the 2024–2025 ACM SIGBED Paul Caspi Memorial Dissertation Award.

MPI researcher joins University of Southampton

March 2025

Dr. Filip Marković joins the faculty of the University of Southampton

MPI-SWS researchers receive RTSS'24 Outstanding Paper Award

December 2024

MPI-SWS researchers have received an Outstanding Paper Award at the 45th IEEE Real-Time Systems Symposium (RTSS 2024)

MPI-SWS researchers receive ATVA'24 Distinguished Paper Award

October 2024

MPI-SWS researchers have received an Distinguished Paper Award at the 22nd International Symposium on Automated Technology for Verification and Analysis (ATVA 2024).

All News

Recent projects

Recent software

CoSMo

Contracted Strategy Mask Negotiation in Two-Objective Parity Games

PeSTel

Computation of Permissive Strategy Templates for Generalized Parity Games

Pgcd

Robot Programming and Verification with Geometry, Concurrency, and Dynamics

POET

Foundational response-time analysis, producing Prosa-certified proof-carrying response-time bounds

ProBsa

Axiomatic pWCET with the Rocq theorem prover

rpg-STeLA

Reactive Program (infinite-state) Game Solver using Strategy Template-Based Localized Acceleration

RTA Crate

Response-time analysis for Rust

SAG

An implementation of the Schedule Abstraction Graph (SAG) method

SImPA

Sufficient-Implementable-Permissive-Assumption Computation in Two-Player Graph games

Papers

Incremental Data-Driven Policy Synthesis via Game Abstractions.

Irmak Saglam, Mahdi Nazeri, Alessandro Abate, Sadegh Soudjani, Anne-Kathrin Schmuck.
AAAI 2026.

Universal Safety Controllers with Learned Prophecies.

Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck.
AAAI 2026.

Concurrent Permissive Strategy Templates.

Ashwani Anand, Christel Baier, Calvin Chau, Sascha Klüppelholz, Ali Mirzaei, Satya Prakash Nayak, Anne-Kathrin Schmuck.
TACAS 2026.

Transfer Schedulability in Periodic Real-Time Systems.

Lars Willemsen, Mario Günzel, Björn B. Brandenburg, Georg von der Brüggen, Ching-Chi Lin, Jian-Jia Chen.
ACM Trans. Embed. Comput. Syst. 2025.

Quantitative Strategy Templates.

Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck.
ATVA 2025.

All papers

Cookie	Duration	Description
cookielawinfo-checkbox-analytics	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics".
cookielawinfo-checkbox-functional	11 months	The cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Functional".
cookielawinfo-checkbox-necessary	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary".
cookielawinfo-checkbox-others	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Other.
cookielawinfo-checkbox-performance	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Performance".
viewed_cookie_policy	11 months	The cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data.

Need help?