The Study of Fault Diagnosis Method Using A* Search and OBDD

DOI

10.2991/mseee-17.2017.47How to use a DOI?

Keywords

A*Search; Ordered Binary Decision Diagram (OBDD); Diagnosis; Model; Compilation

Abstract

Independent fault diagnosis is an effective method to improve the safety and reliability of satellite orbit operation. Model-based diagnosis approach has been widely studied and applied because of high accuracy, strong adaptability and other advantages. However, because of the computing and store resource are very limited in the satellite system, online reasoning of model based fault diagnosis method is greatly challenged by the low time efficiency. This paper applies a compilation Based diagnosis method used A* search and Ordered Binary Decision Diagrams (OBDD), which compile the system model to OBDD style, through store the relation between the Observations and Diagnosis results replace the on-line reasoning, use the A* algorithm to search result. This method can significantly improve the efficiency of online diagnostics and has a wide range of application value.

Copyright

© 2017, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Bo Pang
AU  - Zhigang Huang
AU  - Wenquan Feng
AU  - Wenfeng Zhang
AU  - Baoling Fu
PY  - 2017/08
DA  - 2017/08
TI  - The Study of Fault Diagnosis Method Using A* Search and OBDD
BT  - Proceedings of the 2017 International Conference on Material Science, Energy and Environmental Engineering (MSEEE 2017)
PB  - Atlantis Press
SP  - 248
EP  - 257
SN  - 2352-5401
UR  - https://doi.org/10.2991/mseee-17.2017.47
DO  - 10.2991/mseee-17.2017.47
ID  - Pang2017/08
ER  -