Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages

An intrinsically-typed definitional interpreter is a concise specification of dynamic semantics, that is executable and type safe by construction. Unfortunately, scaling intrinsically-typed definitional interpreters to more complicated object languages often results in definitions that are cluttered with manual proof work. For linearly-typed...

Adaptive pitch control for ships with diesel mechanical and hybrid propulsion

Shipping urgently needs to reduce its impact on the environment, both due to CO₂, NO_x and particulate matter (PM) emissions and due to underwater noise. On the other hand, multifunction ships such as offshore support vessels, anchor handling and towing vessels, naval vessels and wind farm construction and support vessels...

Design and control of hybrid power and propulsion systems for smart ships: A review of developments

The recent trend to design more efficient and versatile ships has increased the variety in hybrid propulsion and power supply architectures. In order to improve performance with these architectures, intelligent control strategies are required, while mostly conventional control strategies are applied currently. First, this paper classifies...

Pitch control for ships with diesel mechanical and hybrid propulsion: Modelling, validation and performance quantification

Ships, in particular service vessels, need to reduce fuel consumption, emissions and cavitation noise while maintaining manoeuvrability and preventing engine overloading. Diesel mechanical propulsion with controllable pitch propellers can provide high fuel efficiency with good manoeuvrability. However, the conventional control strategy with...