A Formal Model of Reliable Sensor Perception
A Formal Model of Reliable Sensor Perception
复制标题
可靠传感器感知的正式模型
DOI：
10.1007/978-3-642-16982-3_8
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Tobe Toben
中科院分区：
文献类型：
--
作者：
Tobe Toben
自主行动系统的安全性取决于对系统环境的可靠评估。我们提出了一个框架，正式化和分析定性和定量措施的背景质量的安全性和精度。这些措施是基于秩序理论的论点，通过相关的地面真相（由真实的环境）与上下文信息（由传感器推断）。我们得到一个层次的定性概念，可以作为一个高层次的要求描述的传感器和控制器的系统实现。然后，框架的定量部分允许对传感器的概率变体进行关于其安全性和精度的评估。我们特别对待基于证据理论的传感器融合分析。
The safety of autonomously acting systems depends on a reliable assessment of the systems' context. We propose a framework to formalise and analyse both qualitative and quantitative measures of the context quality in terms of safety and precision. The measures are based on order-theoretic arguments by relating the ground truth (as given by the real environment) with the context information (as inferred by the sensors). We derive a hierarchy of qualitative notions that can serve as a high-level requirement description for the sensor and controller implementation of the system. The quantitative part of the framework then allows for an evaluation of a probabilistic variant of the sensor regarding its safety and precision. We in particular treat the analysis of sensor fusion based on evidence theory.