WIFTCPN Formalized Decision-making for AUV Formation System under Uncertainty

Abstract

Abstract: Usually the acquired target information is not sufficient and certain enough due to inaccurate measurements, inconsistent granularity and noise, which results in the AUV formation decision-making system having some characteristics, such as discrete, time delay, hierarchical, fuzzy, inconsistencies. Therefore, an integrated formal approach of modeling, simulation and verification based on weighted intuitionistic fuzzy timed colored petri net (WIFTCPN) was proposed. The mapping relationship between WIFTCPN and fuzzy time, time delay and intuition fuzzy inference rules were established. Furthermore, corresponding reasoning decision simulation model under uncertain information was built by using CPN Tools. The properties including liveness, home and fairness are validated.

Key words: uncertain information, decision-making, formal modeling, WIFTCPN

CLC Number:

TP391.9

Hao Lili, Gu Hao, Kang Fengju, Yang Huizhen. WIFTCPN Formalized Decision-making for AUV Formation System under Uncertainty[J]. Journal of System Simulation, 2015, 27(8): 1740-1746.

References

[1] Chamoli Sunil.Hybrid FAHP (fuzzy analytical hierarchy process)-FTOPSIS (Fuzzy Technique for Order Preference by Similarity of an Ideal Solution) Approach for Performance Evaluation of the V Down Perforated Baffle Roughened Rectangular Channel[J]. Energy (S0360- 5442), 2015, 84(5): 432-442.
[2] Bo Sun, Ming Wei, Jun Du, et al. Multi-attribute Group Decision Making Method of Ecological Water Compensation Program Based on Preference of Decision Makers[J]. Journal of Coastal Research (S0749-0208), 2015, 73(s1): 606-610.
[3] 陈坚, 廖守亿, 杨艳丽, 等. 一种基于模糊Petri网的CGF决策方法研究[J]. 计算机应用研究, 2013, 31(1): 111-114.
[4] 孙体忠, 孙金标. 基于多层模糊Petri 网的编队空战战术决策[J]. 电光与控制, 2011, 18(11): 22-26.
[5] Ruoming An, Wei Liang.Unobservable Fuzzy Petri Net Diagnosis Technique[J]. Aircraft Engineering and Aerospace Technology (S1748-8842), 2013, 85(3): 215-221.
[6] 杜彦华. 基于EFTPN不确定时间知识的分析处理及其在铁路上的应用 [D]. 北京: 铁道科学研究院, 2006.
[7] 张滢, 杨任农, 邬蒙, 等. 直觉模糊Petri网的空战战术决策[J]. 计算机工程与应用, 2012, 48(30): 224-228.
[8] 申晓勇, 雷英杰, 华继学, 等. 基于IFTPN 的不确定时间知识描述和推理方法[J]. 控制与决策, 2010, 25(10): 1457-1462.
[9] Yang Huizhen, Hao Lili.Colored Petri Nets-Based Formal Modeling and Validation for Federation Conceptual Model[J]. Journal of System Simulation (S1004-731X), 2012, 24(7): 1361-1365, 1372.
[10] Atanassov K T.Intuitionistic Fuzzy Sets[J]. Fuzzy Sets and Systems (S0165-0114), 1986, 20(1): 87-96.
[11] 蔡纪伟, 贾云献, 孙晓, 等. 直觉模糊推理的装备保障指挥决策模型[J]. 火力与指挥控制, 2013, 38(2): 31-34, 39.