Share Email Print

Proceedings Paper

A stochastic process algebraic abstraction of detection evidence fusion in tactical sensor networks
Format Member Price Non-Member Price
PDF $14.40 $18.00
cover GOOD NEWS! Your organization subscribes to the SPIE Digital Library. You may be able to download this paper for free. Check Access

Paper Abstract

The output of a sensor network intended to detect events or objects generally comprises evidentiary reports of features in the environment that may correspond to those phenomena. Signals from multiple sensors are commonly fused to maximize fidelity of detection through for example synergy between different modes of detection, or simple confirmation. We have previously demonstrated the ability to calculate the meaning of a location report as a probability distribution over potential ground truths by using a stochastic process algebraic model compiled to a discrete-state, continuous-time Markov chain, and performing a transient analysis which resembles the process of parameterizing a Bayesian network. We introduce an approach to representing temporal fusion of multiple heterogeneous sensor detections with different modalities and timing characteristics using a stochastic process algebra. This facilitates analysis of probabilistic properties of the system, and inclusion of those properties into larger models. The formal models are translated into continuous time Markov chains, which provide an important trade-off between the approximation of timing information against complexity of analysis. This is vital to the investigation of analytic computation in real world problems. We illustrate this with an example detection-oriented sensing service model emphasizing the impact of timing. Detection probability and confidence is an essential aspect of the quality of information delivered by a sensing service. The present work is part of an effort to develop a formal event detection calculus that captures the essence of sensor information relating to events, such that features and dependencies can be exploited in re-usable, extendible compositional models.

Paper Details

Date Published: 28 April 2009
PDF: 13 pages
Proc. SPIE 7348, Modeling and Simulation for Military Operations IV, 734802 (28 April 2009); doi: 10.1117/12.818578
Show Author Affiliations
David J. Thornley, Imperial College London (United Kingdom)
Duncan F. Gillies, Imperial College London (United Kingdom)
Chatschik Bisdikian, IBM Thomas J. Watson Research Ctr. (United States)

Published in SPIE Proceedings Vol. 7348:
Modeling and Simulation for Military Operations IV
Dawn A. Trevisani, Editor(s)

© SPIE. Terms of Use
Back to Top