A formal model of reliable sensor perception

摘要: The safety of autonomously acting systems depends on a reliable assessment the systems' context. We propose framework to formalise and analyse both qualitative quantitative measures context quality in terms precision. are based order-theoretic arguments by relating ground truth (as given real environment) with information inferred sensors). derive hierarchy notions that can serve as high-level requirement description for sensor controller implementation system. part then allows an evaluation probabilistic variant regarding its particular treat analysis fusion evidence theory.