Transformation eines Fähigkeitsmodells in einen PDDL-Planungsansatz

Abstract

Automated planning approaches provide robust and efficient methods to automatically find plans for a given problem and a set of possible actions. However, due to the rather high effort required to create planning models, these approaches cannot be used for adaptable manufacturing plants. In this contribution, we present a method to automatically generate a planning problem in the form of PDDL from an existing capability model. This method eliminates the additional effort required to model a planning problem, making planning approaches usable for adaptable manufacturing plants.

Rule-Based Verification of Autonomous Unmanned Aerial Vehicles

“…This was used to create an ODP for the regulation [46]. Further ODPs for the regulations [13,38] have already been published by the authors of [47] and can therefore be easily imported here. Regulation [45], which is a supplement to [38], was again created using the method from [21].…”