RH
R.M. Hommes
info
Please Note
<p>This page displays the records of the person named above and is not linked to a unique person identifier. This record may need to be merged to a profile.</p>
1 records found
1
PDDL-Based Task Planning of Survey Missions for Autonomous Underwater Vehicles
A generic planning system, taking into account location uncertainty and environmental properties
Master thesis
(2019)
-
Lukas Steenstra, Joris Sijs, Bart De Schutter, Neil Yorke-Smith, Alfredo Nunez, Rutger Hommes
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.
...
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.