A finite state machine based diagnostic expert system of large-scale autonomous unmanned submarine

Fault diagnosis and decision have received a lot of theoretical and practical attention over the last years. This paper aims at the design of efficient and reliable security assurance of Large-scale autonomous unmanned submarine (L-AUS). Firstly, this paper analyzes the control objective, then models an on-line diagnostic expert system with an inference engine based on a finite state machine. Finally, this paper verifies the effectiveness of this expert system and reasoning machine by physical simulation. This paper proposes a high-efficiency reasoning machine which can cope with the complex fault diagnostic logic of L-AUS. The finite state machine also offers the possibility to model emergency system of L-AUS and to test a reaction system by tracking the logic flow during simulations.

[1]  Meng Li,et al.  Intelligent fault diagnosis of hot die forging press based on binary decision diagram and fault tree analysis , 2018 .

[2]  K. Hashimoto,et al.  Missing of the ROV Kaiko vehicle - problem on the secondary cable , 2004, Oceans '04 MTS/IEEE Techno-Ocean '04 (IEEE Cat. No.04CH37600).

[3]  David Lee,et al.  Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.

[4]  D. Neumann.  FAULT DIAGNOSIS OF MACHINE-TOOLS BY ESTIMATION OF SIGNAL SPECTRA , 1992 .

[5]  Gwyn Griffiths,et al.  Eliciting expert judgement for the probability of AUV loss in contrasting operational environments , 2007 .

[6]  Jun Wang,et al.  Road network extraction: a neural-dynamic framework based on deep learning and a finite state machine , 2015 .

[7]  Paul M. Frank,et al.  Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy: A survey and some new results , 1990, Autom..

[8]  B. Freyermuth.  KNOWLEDGE BASED INCIPIENT FAULT DIAGNOSIS OF INDUSTRIAL ROBOTS , 1992 .

[9]  C. Angeli,et al.  Diagnostic Expert Systems : From Expert ’ s Knowledge to Real-Time Systems , 2010 .

[10]  Gregor von Bochmann,et al.  Finite State Description of Communication Protocols , 1978, Comput. Networks.

[11]  Rolf Isermann,et al.  Process fault detection based on modeling and estimation methods - A survey , 1984, Autom..

[12]  Rolf Isermann,et al.  Supervision, fault-detection and fault-diagnosis methods — An introduction , 1997 .