Correct-by-Construction Controller Synthesis for Safety-Critical Systems
2024
Dissertation
220 p.
Structure-Preserving Model Reduction of Port-Hamiltonian Descriptor Systems
2023
Dissertation
150 p.
Analysis of Automation Software Architecture Using Qualitative and Quantitative Quality Assessment
2023
Dissertation
Feasibility studies for the identification of plastics on land surfaces and their functional assignment using optical remote sensing
2023
Dissertation
149 p.
Investigations on a Fiber-Optic Pressure Measurement System for Aerodynamic Applications
2024
Dissertation
182 p.