Formal Abstraction of General Stochastic Systems via Noise Partitioning

Verifying the performance of safety-critical, stochastic systems with complex noise distributions is difficult. We introduce a general procedure for the finite abstraction of nonlinear stochastic systems with nonstandard (e.g., non-affine, non-symmetric, non-unimodal) noise distributions for verification purposes. The method uses a finite...

A review: Challenges and opportunities for artificial intelligence and robotics in the offshore wind sector

The UK has set plans to increase offshore wind capacity from 22GW to 154GW by 2030. With such tremendous growth, the sector is now looking to Robotics and Artificial Intelligence (RAI) in order to tackle lifecycle service barriers as to support sustainable and profitable offshore wind energy production. Today, RAI applications are...

Distributed formation control of networked mechanical systems

This paper investigates a distributed formation tracking control law for large-scale networks of mechanical systems. In particular, the formation network is represented by a directed communication graph with leaders and followers, where each agent is described as a port-Hamiltonian system with a constant mass matrix. Moreover, we adopt a...

Self-Organizing Multi-Agent Systems

In this thesis I research the ability of groups of agents to organize their collective behavior, without any human intervention. Using a framework for gathering information of the behavior, analyzing the performance, and updating the behavior, the agents can adapt to changing environments or user requirements. In my thesis I use different...

Integrating Comprehensive Human Oversight in Drone Deployment: A Conceptual Framework Applied to the Case of Military Surveillance Drones

Accountability is a value often mentioned in the debate on intelligent systems and their increased pervasiveness in our society. When focusing specifically on autonomous systems, a critical gap emerges: although there is much work on governance and attribution of accountability, there is a significant lack of methods for the operationalisation...

Towards a Framework for Certification of Reliable Autonomous Systems

A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The capability and spread of such systems have reached the point where they are beginning to touch much of everyday life. However, regulators grapple with how to deal with autonomous systems, for...

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