POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Principles of Program Analysis
Principles of Program Analysis
Context-Aware Computing Applications
WMCSA '94 Proceedings of the 1994 First Workshop on Mobile Computing Systems and Applications
On the Evaluation of Quality of Context
EuroSSC '08 Proceedings of the 3rd European Conference on Smart Sensing and Context
Using situation lattices in sensor analysis
PERCOM '09 Proceedings of the 2009 IEEE International Conference on Pervasive Computing and Communications
A survey of context modelling and reasoning techniques
Pervasive and Mobile Computing
Evaluating situation awareness of autonomous systems
PerMIS '08 Proceedings of the 8th Workshop on Performance Metrics for Intelligent Systems
A context quality model to support transparent reasoning with uncertain context
QuaCon'09 Proceedings of the 1st international conference on Quality of context
The role of situation awareness in assuring safety of autonomous vehicles
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Context reasoning technologies in ubiquitous computing environment
EUC'06 Proceedings of the 2006 international conference on Embedded and Ubiquitous Computing
Safety and Precision of Spatial Context Models for Autonomous Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
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.