Correct-by-Construction Controller Synthesis for Safety-Critical Systems
2024
Dissertation
220 Seiten
Evaluation of Risks and Security Controls for Industrial Components within Connected Manufacturing
2024
Dissertation
374 Seiten
The Generation and Application of Synthetic Photoacoustic Absorption Spectra for Machine Learning
2024
Dissertation
196 Seiten
Analysing Neuro-Dynamic Programming Through Non-Convex Optimisation
2024
Dissertation
166 Seiten
Design Space Exploration for Approximate Image Processing on FPGAs
2023
Dissertation
186 Seiten
Efficient Deep Feature Learning for Noisy Industrial Time-Series Data
2024
Dissertation
94 Seiten