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

• Practical term: State set representation techniques for hybrid sytems (WS15/16)
• Practical term: Software-Projektpraktikum: Explorative Suche mit Lego Mindstorms Robotern (WS14/15)
• Practical term:  Heliostat Calibration with Drones in Solar Tower Power Plants (SS19)
• Practical term: Web Application for Exercise Generation (WS19/20)
• Proseminar: Algorithms and Tools for Verification (WS13/14, WS14/15,  WS15/16)
• Proseminar: State set representations (WS19/20)
• Proseminar: Wurzeln der Informatik (SS14)
• Satisfiability checking (SS13, SS15, SS16)

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