Curriculum Vitae

Mark Wetzlinger joined the Cyber-Physical Systems Group as a research assistant and PhD candidate under the supervision of Prof. Matthias Althoff in late 2019. He received his bachelor’s degree in Engineering Sciences in 2017 and his master’s degree in Robotics, Cognition, Intelligence in 2019. His research focuses on formal verification of continuous-time dynamical systems using reachability analysis. He is a member of the DFG Research Training Group on Continuous Verification of Cyber-Physical Systems (ConVeY). From April to September 2022, he worked with the group of Prof. Murat Arcak at the University of California, Berkeley as a visiting scholar.


Teaching

  • Lecture - Cyber-Physical Systems (SS 2021)
    • Hybrid systems: Timed automata, hybrid automata
  • Lecture - Formal Methods for Cyber-Physical Systems (WS 2020, WS 2021, WS 2022, WS 2023, WS2024)
    • Introduction to CORA
    • Set representations and operations
    • Reachability analysis for linear, nonlinear, and hybrid systems
  • Practical course - Verification, Controller Synthesis, and Design of Cyber-Physical Systems (SS 2021)
    • Simulation of differential equations by rapidly-exploring random trees
  • Seminar course - Cyber-Physical Systems (WS 2020, SS 2021, WS 2021)
    • Model order reduction for nonlinear systems
    • Data-driven reachability analysis for dynamical systems
    • Decomposition of dynamical systems into weakly coupled subsystems
  • Guided Research (SS 2022)
    • Automated Verification of High-Dimensional Linear Time-Invariant Systems Using Reachability Analysis

Thesis Topics

The scope of topics encompasses automated verification algorithms, error estimates and adaptive parameter tuning of reachability algorithms, and specialized algorithms for systems with exploitable dynamical structures, e.g., decomposition or order reduction methods.

Finished:

  • [BA|2023] Simulation of Extreme Trajectories for Uncertain Linear Systems
  • [BA|2021] Comparison of Data-Driven and Model-Based Approaches for Reachability Analysis
  • [BA|2020] Automated Verification Strategies for Reachability Analysis of Linear Systems

Publications

2024

  • Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff: Inner Approximations of Reachable Sets for Nonlinear Systems using the Minkowski Difference. IEEE Control Systems Letters, IEEE, 2024 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
  • Wetzlinger, Mark; Althoff, Matthias: Randomized Generation of Arbitrarily Difficult Verification Benchmarks for Linear Time-Invariant Systems. Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems (EPiC Series in Computing), EasyChair, 2024 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
  • Wetzlinger, Mark; Kotsev, Viktor; Kulmburg, Adrian; Althoff, Matthias: Implementation of Polyhedral Operations in CORA 2024. Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems (EPiC Series in Computing), EasyChair, 2024 more… BibTeX Full text ( DOI ) Full text (mediaTUM)

2023

  • Althoff, Matthias; Forets, Marcelo; Li, Yangge; Mitra, Sayan; Schilling, Christian; Wetzlinger, Mark; Zhuang, Daniel: ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. EPiC Series in Computing, EasyChair, 2023 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
  • Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Collins, Pieter; Forets, Marcelo; Ivanova, Elena; Li, Yangge; Mitra, Sayan; Mitsch, Stefan; Schilling, Christian; Wetzlinger, Mark; Zhuang, Daniel: ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. EPiC Series in Computing, EasyChair, 2023 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
  • Wetzlinger, Mark; Kochdumper, Niklas; Bak, Stanley; Althoff, Matthias: Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets. IEEE Transactions on Automatic Control 68 (12), 2023, 7771-7786 more… BibTeX Full text ( DOI ) Full text (mediaTUM)

2022

  • Althoff, Matthias; Forets, Marcelo; Schilling, Christian; Wetzlinger, Mark: ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. Proc. of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (EPiC Series in Computing), EasyChair, 2022 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
  • Geretti, Luca; Sandretto, Julien Alexandre Dit; Althoff, Matthias; Benet, Luis; Collins, Pieter; Duggirala, Parasara; Forets, Marcelo; Kim, Edward; Mitsch, Stefan; Schilling, Christian; Wetzlinger, Mark: ARCH-COMP22 Category Report Continuous and Hybrid Systems with Nonlinear Dynamics. Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) (EPiC Series in Computing), EasyChair, 2022 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
  • Wetzlinger, M.; Kulmburg, A.; Le Penven, A.; Althoff, M.: Adaptive reachability algorithms for nonlinear systems using abstraction error analysis. Nonlinear Analysis: Hybrid Systems 46, 2022, 101252 more… BibTeX Full text ( DOI ) Full text (mediaTUM)

2021

  • Althoff, M.; Ábrahám, E.; Forets, M.; Frehse, G.; Freire, D.; Schilling, C.; Schupp, S.; Wetzlinger, M.: ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. Proc. of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (EPiC Series in Computing), EasyChair, 2021 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
  • Luca Geretti, Julien Alexandre dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling, Mark Wetzlinger: ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. Proc. of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21) (EPiC Series in Computing), EasyChair, 2021 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
  • Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff: Adaptive Parameter Tuning for Reachability Analysis of Nonlinear Systems. HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, ACM, 2021 more… BibTeX Full text ( DOI ) Full text (mediaTUM)

2020

  • Althoff, Matthias; Bak, Stanley; Bao, Zongnan; Forets, Marcelo; Frehse, Goran; Freire, Daniel; Kochdumper, Niklas; Li, Yangge; Mitra, Sayan; Ray, Rajarshi; Schilling, Christian; Schupp, Stefan; Wetzlinger, Mark: ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. Proc. of the 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, EasyChair, 2020, 16-48 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
  • Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff: Adaptive Parameter Tuning for Reachability Analysis of Linear Systems. 2020 59th IEEE Conference on Decision and Control (CDC), 2020 more… BibTeX Full text ( DOI ) Full text (mediaTUM)