Synthesis and Verification of Neural Control Barrier Functions for Safe Reinforcement Learning with Guarantees

While learning-based control techniques often outperform classical controller designs, safety requirements limit the acceptance of such methods in many applications. Recent developments address this issue through Certified Learning (CL), which combines a learning-based controller with formal methods to provide safety guarantees. This thesis...

Reproducibility Verification of Ship Propulsion System Model: The ship propulsion simulation models’ reproducibility in python

The ship propulsion system model is simulated by MATLAB/Simulink initially and is required to reproduce the simulation results in python. This master graduation project deals with the reproducibility of ship propulsion system model by different computer simulation tools. The MATLAB/Simulink model will be provided by Maritime Technology (MT)...