teaching
Courses taught and thesis supervision.
Course Instruction
2024
Control Theory (SC42015)
Linear Systems and Control Theory. This course covers the fundamentals of control theory including system modeling, state-space representations, controllability, observability, and feedback control design. Core topics include linear time-invariant systems, pole placement, Lyapunov stability analysis, optimal control, and regulation.
2023
Control Theory (SC42015)
Linear Systems and Control Theory. This course covers the fundamentals of control theory including system modeling, state-space representations, controllability, observability, and feedback control design. Core topics include linear time-invariant systems, pole placement, Lyapunov stability analysis, optimal control, and regulation.
2022
Control Theory (SC42015)
Linear Systems and Control Theory. This course covers the fundamentals of control theory including system modeling, state-space representations, controllability, observability, and feedback control design. Core topics include linear time-invariant systems, pole placement, Lyapunov stability analysis, optimal control, and regulation.
2021
Control Theory (SC42015)
Linear Systems and Control Theory. This course covers the fundamentals of control theory including system modeling, state-space representations, controllability, observability, and feedback control design. Core topics include linear time-invariant systems, pole placement, Lyapunov stability analysis, optimal control, and regulation.
Thesis Supervision
Master’s Theses
- Jeroen Hagenus (2024) — Realistic Adversarial Attacks for Robustness Evaluation of Trajectory Prediction Models
- Award: Best MSc Thesis with AI, TU Delft, 2025
- Focus: Adversarial attacks incorporating dynamical constraints and future state perturbations for more realistic robustness evaluation of trajectory prediction models in autonomous vehicles
- Co-supervisors: A. Zgonnikov, J.F. Schumann
- Vilohit Kaza (2025) — Distributional Reachability Analysis for Interval Markov Decision Processes
- Focus: Formal verification of multi-agent systems via a distributional reachability framework over IMDPs; forward (occupation measures + McCormick relaxations) and backward (robust value iteration) algorithms
- Co-supervisor: L. Laurenti
- Jefferson Yeh (2025–present) — Sampling-Based Probabilistic Model Checking for Robust Markov Decision Processes
- Focus: Scalable verification techniques for IMDPs
- Co-supervisor: M. Mazo
Bachelor Groups
- AI Minor Final Project — Supervised 2 groups (2023, 2024)
- Projects covered applications of formal methods and machine learning