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
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