Temporal Finite Automata Model and Performance Analysis Method for Data Fusion System
Qun Liu · Journal of Chinese Computer Systems · 2008
Data fusion algorithms is a current hot research topic,but it lacks the formal description to data fusion system. We extend finite automata with time sequence and define temporal finite automata,then we propose using temporal finite automat to build formal model for data fusion system. We also analyse the model's reachability and give the algorithm to estimate the performance of data fusion system.