Manouevring Prediction of Foil-Assisted Vessels: A Mathematical Model Assisted by CFD

The competitiveness of the maritime sector together with energetic and environmental challenges have promoted a demand for more efficient marine vehicles. In response to this, research campaigns have been conducted, with the aim of developing new technologies. One of these technologies is the application of hydrofoils (e.g.: a Hull Vane) to...

Finite Abstractions of Network Calculus Elements for Formal Verification of Network Bounds

This thesis presents a method to semi-automate the reasoning about network bounds, namely the backlog and delay. Network Calculus offers a rich theory for modeling network elements. Using the modeling techniques of network calculus, network elements are represented by discrete-time systems whose dynamics are linear in min-plus algebra. From the...