In this dissertation, path following, path planning, collision avoidance and model checking algorithms were developed and simulated for improving the level of
autonomy for Unmanned Surface Vehicle (USV). Firstly, four path following algorithms, namely, Carrot Chasing, Nonlinear Guidance Law, Pure pursuit and LOS, and Vector Field algorithms, were compared in simulation and Carrot Chasing was tested in Unmanned Safety Marine Operations Over The Horizon (USMOOTH) project. Secondly, three path planning algorithms, including Voronoi-Visibility shortest path planning, Voronoi-Visibility energy efficient path planning and Genetic Algorithm based energy efficient path planning algorithms, are presented. Voronoi-Visibility shortest path planning algorithm was proposed by integrating Voronoi diagram, Dijkstra’s algorithm and Visibility graph. The path quality and computational efficiency were demonstrated through comparing with Voronoi algorithms. Moreover, the proposed algorithm ensured USV safety by keeping the USV at a configurable clearance distance from the coastlines. Voronoi-Visibility energy efficient path planning algorithm was proposed by taking sea current data into account. To address the problem of time-varying sea current, Genetic Algorithm was integrated with Voronoi-Visibility energy efficient path planning algorithm. The energy efficiency of Voronoi-Visibility and Genetic Algorithm based algorithms were demonstrated in simulated missions. Moreover, collision avoidance algorithm was proposed and validated in single and multiple intruders scenarios. Finally, the feasibility of using model checking for USV decision-making systems verification was demonstrated in three USV mission scenarios. In the final scenario, a multi-agent system, including two USVs, an Unmanned Aerial Vehicle (UAV), a Ground Control Station (GCS) and a wireless mesh network, were modelled using Kripke modelling algorithm. The modelled uncertainties include communication loss, collision risk, fault event and energy states. Three desirable properties, including safety, maximum endurance, and fault tolerance, were expressed using Computational Tree Logic (CTL), which were verified using Model Checker for Multi-Agent System (MCMAS). The verification results were used to retrospect and improve the design of the decision-making system.PhD in Aerospac
