Master Thesis
Recent Submissions
-
DEAD: Dead Code Elimination based Automatic Differential Testing
(2022)In their pursuit of faster code, compilers invoke increasingly more complex optimizations. Along with the increase in complexity the difficulty to identify missed optimizations and performance regressions also increases. Most existing work does not focus on finding such missed opportunities. It either concentrates on correctness, does not pinpoint the precise missed optimization, or only finds missed optimizations for specific components ...Master Thesis -
Inferring in situ stress variations from post-drilling borehole diametrical deformation
(2021)Master Thesis -
Studying Behaviour Emergence in Multi-Agent Daily Life Simulation
(2022)Digital worlds offer an excellent opportunity for dynamic storytelling. However, adding inhabitants to a digital world that can adjust to their environment and express interesting unscripted behavior is challenging. This thesis proposes a method to combine short-term planning with long-term optimization to spark emergent behavior and maximize agents’ fitness to the environment. We show that our approach can reliably demonstrate emergent ...Master Thesis -
Robust control design towards flexible guidance for reusable space-launch vehicles
(2022)Rocket reusability is a key-factor for a sustainable and cost-effective future of aerospace applications. Commercial space companies, such as SpaceX and BlueOrigin, have already integrated successfully reusability by landing their launch vehicles back to Earth and reusing them for future space missions. However, there are still open challenges with respect to descent and landing phases of reusable vehicles. From a guidance and control ...Master Thesis -
Impact of natural hazards on global ecosystems
(2021)Natural hazards are a driver of ecological dynamics as they alter individual species, community structure and entire ecosystems. Their ecological impact can be highly variable over space and time: perceived by some species as disastrous but vital for the survival of others. The ability of a system to cope with such events is called ecological resilience and depends on biotic and abiotic factors, as well as the disturbance legacies. With ...Master Thesis -
-
Deterministic Distributed Sparse and Ultra-Sparse Spanners and Connectivity Certificates
(2022)Master Thesis -
-
-
Game Theoretic Planning for Autonomous Vehicles
(2022)Ever since the emergence of the commercial automobile in the early 20th century, road safety, congestion, and comfort while driving have been a constant concern for traffic and automotive engineers. A solution that addresses all of these points is the Autonomous Vehicle (AV). With the advent of systems that can do billions of calculations per second in the last three decades, it finally became possible to implement cars that could be ...Master Thesis -
Discrete and tremor seismicity near a microseismic stick-slip asperity at the base of an Alpine glacier
(2021)Frictional resistance at the base of glacial ice controls ice sheet dynamics but is still incompletely understood. While basal sliding theories are traditionally based on slow and smooth sliding on a friction-less bed caused by viscous creep and regelation, frictional sliding at distinct patches of the glacier bed ('asperities') may also play a significant role. With the help of a dense borehole seismometer network within 30\,m of an ...Master Thesis -
Embedded code generation with a domain-specific language for convex optimization
(2022)Convex optimization applies to numerous fields including signal and image processing, control, and finance. Convex optimization problems arising in these domains are often required to be solved at high frequency, possibly on embedded devices, yielding two main challenges. First, problems need to be reformulated to the restrictive standard forms accepted by numerical solvers. Second, the software implementation should compile into a fast ...Master Thesis -
Assessing Tropical Cyclone Risk along Global Value Chains
(2018)In this thesis project we developed an extension to the existing open-source disaster impact model CLIMADA. The new functionality enables model users to assess direct tropical cyclone risk of distinct sectors of the global economy separately. Furthermore and most importantly, it allows the analysis of indirect tropical cyclone risk arising from sector-sector interdependencies nationally, regionally and globally. For indirect risk estimation ...Master Thesis -
-
Willems’ Fundamental Lemma for Periodic Behavior
(2022)The system behavior, the kernel representation and the structured data matrix constitute a closely interconnected trinity for both linear time-invariant systems and linear periodic systems. From this vantage point, we introduce a new class of structured matrices termed Antelope matrix and prove Willems et.al’s fundamental lemma for linear periodic systems. This extension serves as a modest step towards the nonlinear regime as well as gives ...Master Thesis -
Further Development of the Wildfire Module in CLIMADA by Integrating Physical Constraints
(2022)Wildfires are among the most destructive natural hazards and lead to substantial economic impacts. Therefore, assessing and quantifying their economic risk is of great interest to governmental authorities and (re-)insurance companies. To estimate the risk, the probabilistic wildfire module in the open-source software CLIMADA (CLIMate ADAptation) simulates wildfire seasons based on a cellular automaton. In this thesis, we extend the ...Master Thesis -
Online control of quadrotor and camera with MPC for robust vision-based flight
(2022)Micro aerial robots are applied extensively in today’s society and industry. In certain scenes where it is used for data collection like monitoring, inspection or patrolling, it is important to know the accurate position of the robot. In vision-based navigation scenarios, usually, the quadrotor equipped with a camera is controlled autonomously by a controller after the enduser sets up the goal and the flight region. In these cases, the ...Master Thesis -
Interpretable Prediction of Pulmonary Hypertension in Newborns using Echocardiography
(2022)Master Thesis -