Abstract: The present invention relates to a system for evaluating a mission of a mobile entity. The system comprises a means for obtaining information on a planned trajectory, the mobile entity, mission requirements, environment and public body rules, a means for transforming the information into a symbolic, probabilistic representation to generate a probabilistic logic program, wherein facts are extracted from the information and systematically designated with names within the probabilistic logic program, and a means for generating an answer to the a probabilistic logic query based on the probabilistic logic program.

Abstract: The invention relates to a method for analyzing localization errors, wherein the method includes the steps of obtaining relative positions and absolute positions of an object moving within a mapped environment, which are generated sequentially over time, calculating differences between the relative positions and absolute positions to determine sequential localization errors, and decomposing the localization errors into a systematic error that is dependent on the orientation of the object and into a systematic error that is independent on the orientation of the object by analyzing the intrinsic dynamics of the localization errors.

Abstract: The invention relates to a method for analyzing localization errors, wherein the method includes the steps of obtaining relative positions and absolute positions of an object moving within a mapped environment, which are generated sequentially over time, calculating differences between the relative positions and absolute positions to determine sequential localization errors, and decomposing the localization errors into a systematic error that is dependent on the orientation of the object and into a systematic error that is independent on the orientation of the object by analyzing the intrinsic dynamics of the localization errors.