Verification of Command and Control Models

摘要：

Command and control models, often represented as rules or fuzzy rules, are key components in most military simulations. Although there exist some verification techniques for rule bases, they are not enough to assure the correctness of command and control models. Based on an analysis of the characteristics of command and control models, this paper presents a fuzzy causality diagram-based verification method for command and control models. Firstly, a formal description method is developed to describe command and control models. Secondly, formally described command and control models are mapped to fuzzy causality diagram. Thirdly, formal verification criteria for command and control models are developed in order to validly and formally verify them, based on which verification is grouped into two classes: weak verification and strong verification. Finally, algorithms for weak and strong verification are developed, thus implementing formal verification of command and control models.

作者: Jin CHENG Fei LIU Ming YANG

作者单位: Harbin Institute of Technology, China

会议类型: 国际会议

会议名称: 2nd IEEE Conference on Industrial Electronics and Applications(ICIEA 2007)(第二届IEEE工业电子与应用国际会议)

会议地点: 哈尔滨

会议语种:英文

在线出版日期: 2007-05-23（万方平台首次上网日期，不代表论文的发表时间）