Frederik Baymler Mathiesen, PhD Candidate @ TU Delft

C-3-260, Building 34

Mekelweg 2, 2628 CD

Delft, Netherlands

Bio

I am a third-year PhD student at Delft Center for Systems and Control, TU Delft under the supervision of Dr. Luca Laurenti and Dr. Simeon Calvert. I obtained my BSc and MSc in Computer Science with a specialization in Machine Learning from the Aalborg University (AAU), Denmark, in 2019 and 2021 respectively. As part of my MSc, I spent a semester at UC Berkeley as a visiting student with a focus on Computer Science and Fintech.

During my studies at AAU, I worked for Ambolt and IntelliGo on various Machine Learing-related projects, primarily focusing on real-time monitoring and optimization of traffic lights.

Research interests

My research is centered around verification and synthesis of safe controllers in uncertain and stochastic environments. The primary application domain is autonomous vehicles where I model human behavior using probabilistic machine learning and verify controllers with stochastic barrier functions.

Keywords: Stochastic Barrier Functions, Bayesian Neural Networks, Verification of Neural Networks, Scenario Approach Theory, Autonomous Vehicles.

Talks

The Scenario Approach for Stochastic Barrier Functions, Cyber-Physical Systems lab @ ICTEAM, UCLouvain, April 2023.

Press coverage

Awards and grants

Student Travel Grant, American Control Conference, 2023.
Fintech scholarship, Spar Nord Foundation, Spring 2020, including placement at UC Berkeley.

Selected publications

arXiv

Inner approximations of stochastic programs for data-driven stochastic barrier function design

Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert, and 2 more authors

2023

arXiv Bib

@misc{mathiesen2023inner,
  title = {Inner approximations of stochastic programs for data-driven stochastic barrier function design},
  author = {Mathiesen, Frederik Baymler and Romao, Licio and Calvert, Simeon C. and Abate, Alessandro and Laurenti, Luca},
  year = {2023},
  primaryclass = {eess.SY},
}

ACC-23

Safety Certification for Stochastic Systems via Neural Barrier Functions

Frederik Baymler Mathiesen, Simeon C. Calvert, and Luca Laurenti

IEEE Control Systems Letters, 2023

Bib HTML Code

@article{mathiesen2023neuralbarrierfunctions,
  author = {Mathiesen, Frederik Baymler and Calvert, Simeon C. and Laurenti, Luca},
  journal = {IEEE Control Systems Letters},
  title = {Safety Certification for Stochastic Systems via Neural Barrier Functions},
  year = {2023},
}