A formal approach to the design of feature-based multi-sensor recognition systems

Abstract

This paper shows an example of developing a fusion system in a formal framework, i.e., through the use of formal operators in the development process. Two main concepts of formal methods are theories and models. In our approach, the development of a fusion system consists of operations on theories and models. We show, on a simple example, how theories and models are combined in the process of designing a fusion system. We also compare the performance of a system developed according to our approach with a more traditional system.

DOI: 10.1016/S1566-2535(01)00028-8

Extracted Key Phrases

7 Figures and Tables

Cite this paper

@article{Kokar2001AFA, title={A formal approach to the design of feature-based multi-sensor recognition systems}, author={Mieczyslaw M. Kokar and Zbigniew Korona}, journal={Information Fusion}, year={2001}, volume={2}, pages={77-89} }