Stefan Schupp

schupp

Email
stefan.schupp at cs.rwth-aachen.de
Phone
+49 241 80 21244
Address
Room 4227
Ahornstraße 55
D-52074 Aachen

Research

I am a postdoctoral researcher at the Theory of Hybrid Systems Group headed by Professor Dr. Erika Ábrahám. My research focuses on reachability analysis for linear hybrid systems based on flowpipe construction. I am developing a C++ library for state set representations in the context of the project Hypro, which is also available at github. Furthermore I am interested in SMT-solving, where I am contributing to the development of SMT-RAT by maintaining the Interval Constraint Propagation (ICP) module.

I am also a complementary researcher in the research training group UnRAVeL working on state set representations for the analysis of hybrid systems.

Teaching Assistance

Lecture: Modelling and Analysis of Hybrid Systems (SS15, SS16, SS17, SS18, SS19)

Lecture: Datenstrukturen und Algorithmen (SS14)

Seminars & practical terms

Activities

Publications

2019

[bibtex]
Stefan Schupp, Francesco Leofante, Erika Abraham, Armando Tacchella. Engineeering Controllers for Swarm Robotics via Reachability Analysis in Hybrid Systems. European Conference on Modelling and Simulation (ECMS), , 2019.
DOILink
[bibtex]
Stefan Schupp. State Set Representations and their Usage in the Reachability Analysis of Hybrid Systems. Phd Thesis at RWTH Aachen University, 2019.
Show all

Selected Talks

2019
Stefan Schupp. State Set Representations and their Usage in the Reachability Analysis of Hybrid Systems, Talk at PhD defense, Aachen, 2019.
2015
Stefan Schupp. A benchmark suite for hybrid systems reachability analysis, Talk at NFM'15, 2015.