Accepted Project

DFG Project "RealySt: Reachability Analysis for Stochastic Hybrid Systems" in cooperation with Prof. Dr. Erika Ábrahám from RWTH Aachen University

Ongoing Project

‘Cybersecurity in future energy distribution grids’.

Renewable energy requires advanced control networks. To ensure safe and secure energy distribution in complex energy grids, we build and implement an additional security layer: Using the grid topology and real-time measurements from neighbouring stations, a model of the state of substations is maintained, which allows to detect malicious commands and false measurements.

Finished Projects

NWO Veni: Counting on a reliable water supply (laymen title).

ALLEGIO: Composable Embedded Systems for Healthcar.

MOSES (NWO): More secure SCADA networks through self-awareness.

ROCKS: RigorOus dependability analysis using model ChecKing techniques for Stochastic systems.

MatMam: Mean-Filed Approximation techniques for Markov Models.