Mark Wetzlinger joined the Cyber-Physical Systems Group as a research assistant and PhD candidate under the supervision of Prof. Dr.-Ing. 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).

• Lecture - Cyber-Physical Systems (SS 2021)
  • Hybrid Systems: Timed Automata, Hybrid Automata
• Lecture - Formal Methods for Cyber-Physical Systems (WS 2020)
  • 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)
  • Model Order Reduction for Nonlinear Systems
  • Data-Driven Reachability Analysis for Dynamical Systems

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.

Currently Available:

• [MA] Ensuring Safety of Large-Scale Structures
• [MA] Exploiting Mixed-Monotonicity in Reachability Analysis

Ongoing:

• ---

Finished:

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