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. Currently I am woking in the group  AG Sicherheitskritische Systeme led by Anne Remke in Münster but plan to rejoin THS next year.

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

2020
fulltext PDF [bibtex]
@techreport{URTGURAVL2020,
title = {UnRAVeL Research Training Group: Uncertainty and Randomness in Algorithms, Verification, and Logic},
author = {Joost-Pieter Katoen and Martin Ritzert and Richard Wilke and Katrin M. Dannert and Peter Lindner and Dennis Fischer and Janosch Fuchs and Björn Frederik Tauer and Vipin Ravindran Vijayalakshmi and Laura Vargas Koch and Nadine Friesen and Andreas Gabriel Klinger and Marcel Tobias Hark and Benjamin Lucien Kaminski and Sebastian Junges and Jip Josephine Spel and Anton Pirogov and Stefan Schupp and Till Hofmann and Daxin Liu and Martin Comis and Tabea Claudia Krabs and Stephan Zieger and Rebecca Haehn and Matthias Volk and Norman Weik and Helene-Maria Bolke-Hermanns},
pages = {85 Seiten},
type = {Tech Report},
year = {2020},
url = { https://publications.rwth-aachen.de/record/807487},
}×
[issue]
Joost-Pieter Katoen, Martin Ritzert, Richard Wilke, Katrin M. Dannert, Peter Lindner, Dennis Fischer, Janosch Fuchs, Björn Frederik Tauer, Vipin Ravindran Vijayalakshmi, Laura Vargas Koch, Nadine Friesen, Andreas Gabriel Klinger, Marcel Tobias Hark, Benjamin Lucien Kaminski, Sebastian Junges, Jip Josephine Spel, Anton Pirogov, Stefan Schupp, Till Hofmann, Daxin Liu, Martin Comis, Tabea Claudia Krabs, Stephan Zieger, Rebecca Haehn, Matthias Volk, Norman Weik, Helene-Maria Bolke-Hermanns. UnRAVeL Research Training Group: Uncertainty and Randomness in Algorithms, Verification, and Logic, 85 Seiten, 2020.
2019
DOI fulltext PDF [bibtex]
@phdthesis{S2019,
title = {State set representations and their usage in the reachability analysis of hybrid systems},
author = {Stefan Schupp},
institution = {RWTH Aachen University},
pages = {1 Online-Ressource (217 Seiten) : Illustrationen, Diagramme},
type = {PhD Thesis},
year = {2019},
doi = {10.18154/RWTH-2019-08875},
url = { https://publications.rwth-aachen.de/record/767529},
}×
[issue]
Stefan Schupp. State set representations and their usage in the reachability analysis of hybrid systems, PhD Thesis, RWTH Aachen University, 1 Online-Ressource (217 Seiten) : Illustrationen, Diagramme, 2019.
DOI [bibtex]
@conference{ACCRBMCHSPCD2019,
title = {ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics},
author = {Lei Bu and Rajarshi Ray and Stefan Schupp},
publisher = {EasyChair},
booktitle = {EPiC series in computing},
volume = {61},
pages = {120-128},
type = {Conference Paper},
year = {2019},
doi = {10.29007/g965},
url = { https://publications.rwth-aachen.de/record/814251},
}×
[issue]
Lei Bu, Rajarshi Ray, Stefan Schupp. ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics, 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH19), Volume 61 of EPiC series in computing, 120-128, EasyChair, 2019.
DOI [bibtex]
@conference{ACCRCHSLCD2019,
title = {ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics},
author = {Matthias Althoff and Stanley Bak and Marcelo Forets and Goran Frehse and Niklas Kochdumper and Rajarshi Ray and Christian Schilling and Stefan Schupp},
publisher = {EasyChair},
booktitle = {EPiC series in computing},
volume = {61},
pages = {14-40},
type = {Conference Paper},
year = {2019},
doi = {10.29007/bj1w},
url = { https://publications.rwth-aachen.de/record/814248},
}×
[issue]
Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, Stefan Schupp. ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics, 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH19), Volume 61 of EPiC series in computing, 14-40, EasyChair, 2019.
DOI [bibtex]
@conference{ECFSRVRAIHS2019,
title = {Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems},
author = {Francesco Leofante and Stefan Schupp and Erika Ábrahám and Armando Tacchella},
publisher = {European Council for Modelling and Simulation},
pages = {7 Seiten},
type = {Conference Paper},
year = {2019},
doi = {10.7148/2019-0407},
url = { https://publications.rwth-aachen.de/record/771665},
}×
[issue]
Francesco Leofante, Stefan Schupp, Erika Ábrahám, Armando Tacchella. Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems, 33rd International ECMS Conference on Modelling and Simulation (ECMS 2019), 7 Seiten, European Council for Modelling and Simulation, 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.