By Topic

Instrumented sensor systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Dekhil, M. ; Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA ; Henderson, T.C.

In modeling and designing sensor systems, there is always a tradeoff between increasing the robustness of the sensor system and increasing the efficiency of sensor use. To compare alternative solutions, we need to define quantitative measures that capture the required sensor system characteristics such as time and space complexity, robustness, error variance, etc. Our goal is to develop tools to assist selecting between the tradeoffs and defining models of global data values which establish a closer tie between data and its use. We propose to introduce the notion of instrumented sensor system for online monitoring and debugging. To achieve our goal, we start by defining a sensor model using formal semantics techniques. In this paper, we show that an operational semantics of logical sensor systems provides a strong computational and operational engine that can be used to define and propagate several quantitative measures to evaluate and compare between design alternatives. The application of the proposed modeling approach is illustrated by an example in which two sensing strategies for determining wall pose using sonar sensors are compared.

Published in:

Multisensor Fusion and Integration for Intelligent Systems, 1996. IEEE/SICE/RSJ International Conference on

Date of Conference:

11-11 Dec. 1996