OBDD method for compilation based diagnosis of satellite

Abstract

Model-based fault diagnosis approach has been widely studied and applied because of high accuracy, strong adaptability and other advantages. However, as the complexity of the structure and function of the satellite systems increase, online reasoning of model based fault diagnosis method is greatly challenged by the low time efficiency. Offline compilation technology compiles the system model into a special form in the off-line phase, making it unnecessary to complete complex reasoning during the online diagnosis stage, thus saves much time in online diagnosis stage. Ordered Binary Decision Diagrams (OBDD) is an excellent compilation language. This paper applies it in the fault diagnosis of satellite system, studying the model abstraction, off-line model compilation and on-line fault diagnosis of satellite system. Theoretical analysis and experimental analysis show that the use of ordered binary decision diagrams can significantly improve the efficiency of online diagnostics and has a wide range of application value.