Print Email Facebook Twitter PDDL-Based Task Planning of Survey Missions for Autonomous Underwater Vehicles Title PDDL-Based Task Planning of Survey Missions for Autonomous Underwater Vehicles: A generic planning system, taking into account location uncertainty and environmental properties Author Steenstra, Lukas (TU Delft Mechanical, Maritime and Materials Engineering) Contributor Sijs, Joris (mentor) De Schutter, B.H.K. (graduation committee) Yorke-Smith, N. (graduation committee) Nunez, Alfredo (graduation committee) Hommes, R.M. (graduation committee) Degree granting institution Delft University of Technology Programme Mechanical Engineering | Systems and Control Date 2019-09-23 Abstract Autonomous Underwater Vehicles (AUVs) are unmanned vehicles that give the opportunity to carry out lengthy and dangerous tasks autonomously. This is particularly useful for survey tasks, where the objective is to search the seafloor for objects. In this thesis work a planning system is developed that can plan a path for survey tasks, while considering environmental challenges such as communication limitations and location uncertainty. To compensate for location uncertainty, the planning system requires a higher level of abstraction compared to conventional path planning algorithms. For that reason, the planning problem is modelled in the PDDL, creating a powerful and flexible planning system which deals with the complex survey problem. Besides that, some additional planners are added to support the PDDL-planner and provide suitable plans for the AUV to carry out. The resulting plans are evaluated by simulation, showing that the planning system can successfully survey different scenarios. Besides that, the PDDL model is validated by means of the Event-B formal method, in order to obtain mathematical proofs of the validity of the planning model. The results are a step forward in achieving full autonomy of the AUVs. Besides that, a demonstration of the applicability of PDDL in real-world problems is given. Subject PDDLtask planningsurvey taskAUVEvent-B To reference this document use: http://resolver.tudelft.nl/uuid:5bc6b1f4-1acf-4b40-8154-828427f9a4e9 Part of collection Student theses Document type master thesis Rights © 2019 Lukas Steenstra Files PDF mscThesisLukas.pdf 9.97 MB Close viewer /islandora/object/uuid:5bc6b1f4-1acf-4b40-8154-828427f9a4e9/datastream/OBJ/view