TY - GEN
T1 - Verification of command and control models
AU - Jin, Cheng
AU - Fei, Liu
AU - Ming, Yang
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/35248863503
U2 - 10.1109/ICIEA.2007.4318519
DO - 10.1109/ICIEA.2007.4318519
M3 - 会议稿件
AN - SCOPUS:35248863503
SN - 1424407370
SN - 9781424407378
T3 - ICIEA 2007: 2007 Second IEEE Conference on Industrial Electronics and Applications
SP - 808
EP - 812
BT - ICIEA 2007
T2 - 2007 2nd IEEE Conference on Industrial Electronics and Applications, ICIEA 2007
Y2 - 23 May 2007 through 25 May 2007
ER -