WIFTCPN Formalized Decision-making for AUV Formation System under Uncertainty

Authors

Lili Hao, 1. Marine College, Northwestern Polytechnical University, Xi'an 710072, China; ;2. National Key Laboratory of Underwater Information Process and Control, Xi'an, 710072, China;
Gu Hao, 1. Marine College, Northwestern Polytechnical University, Xi'an 710072, China; ;
Fengju Kang, 1. Marine College, Northwestern Polytechnical University, Xi'an 710072, China; ;2. National Key Laboratory of Underwater Information Process and Control, Xi'an, 710072, China;
Huizhen Yang, 1. Marine College, Northwestern Polytechnical University, Xi'an 710072, China; ;2. National Key Laboratory of Underwater Information Process and Control, Xi'an, 710072, China;

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.

Recommended Citation

Hao, Lili; Hao, Gu; Kang, Fengju; and Yang, Huizhen (2020) "WIFTCPN Formalized Decision-making for AUV Formation System under Uncertainty," Journal of System Simulation: Vol. 27: Iss. 8, Article 13.
Available at: https://dc-china-simulation.researchcommons.org/journal/vol27/iss8/13

First Page

1740

Revised Date

2015-06-25

DOI Link

https://doi.org/

Last Page

1746

CLC

TP391.9

Recommended Citation

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.