No abstract

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.