Algebraic specifications of sensor data fusion systems

The main goal of research in sensory data fusion (SDF) is the development of a systematic approach (a methodology) to designing software systems for interpreting sensory information and for reasoning about the situation based on this information and upon available databases and knowledge bases. Towards this aim, a model-theoretic framework for SDF is developed. The framework postulates that data are embedded in data models, and information processing mechanisms are embedded in model operators. The classes of model operators and their significance in SDF are discussed. A prototype SDF system which fuses data from range and intensity sensors is presented, exemplifying the structures introduced in the framework. It is shown how system properties can be expressed and proved in the framework formalism