Publications

2023

1. 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},
   }

2. 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},
   }

2022

1. AAAI-22

   HyperVerlet: A Symplectic Hypersolver for Hamiltonian Systems

   Frederik Baymler Mathiesen, Bin Yang, and Jilin Hu

   2022

   Bib HTML PDF Code

   @article{mathiesen2022hyperverlet,
     title = {HyperVerlet: A Symplectic Hypersolver for Hamiltonian Systems},
     author = {Mathiesen, Frederik Baymler and Yang, Bin and Hu, Jilin},
     year = {2022},
   }

2021

1. Master thesis

   HyperVerlet: A Deep Learning Method for Numerically Solving Initial Value Problems of Hamiltonian Systems

   Anders Madsen, and Frederik Baymler Mathiesen

   2021

   Bib HTML PDF Code

   @thesis{madsen2021deep,
     title = {HyperVerlet: A Deep Learning Method for Numerically Solving Initial Value Problems of Hamiltonian Systems},
     author = {Madsen, Anders and Mathiesen, Frederik Baymler},
     year = {2021},
   }

2020

1. arXiv

   A Flow-Efficient and Legal-by-Construction Real-Time Traffic Signal Control Platform

   Frederik Baymler Mathiesen, and Garey Fleeman

   2020

   arXiv Bib Code

   @misc{mathiesen2020flowefficient,
     title = {A Flow-Efficient and Legal-by-Construction Real-Time Traffic Signal Control Platform},
     author = {Mathiesen, Frederik Baymler and Fleeman, Garey},
     year = {2020},
     primaryclass = {eess.SY},
   }