基于自动机模型数据关联性能评估算法

Method of Data Association Performance Evaluation Based on Automata Theory Consistency and Reachability Analysis