Yuanyuan Zheng, Guanxue Wang, Zhongxiang Chen, Yan Liu, Xiong Shen
{"title":"A finite state machine based diagnostic expert system of large-scale autonomous unmanned submarine","authors":"Yuanyuan Zheng, Guanxue Wang, Zhongxiang Chen, Yan Liu, Xiong Shen","doi":"10.1109/USYS.2018.8779066","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":299885,"journal":{"name":"2018 IEEE 8th International Conference on Underwater System Technology: Theory and Applications (USYS)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 IEEE 8th International Conference on Underwater System Technology: Theory and Applications (USYS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/USYS.2018.8779066","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3
Abstract
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.