SAT-Based Intelligent Self-Configuration for Spacecraft Propulsion System

In view of the future autonomy trends of spacecrafts as well as particularity of Spacecraft Propulsion System, this paper proposes a model-Based approach to Intelligent Self-configuration of Spacecraft Propulsion System (SPS). Given advantages of Satisfiability (SAT) planning in calculation performance and knowledge representation, we advance to transform Intelligent Self-configuration for SPS into an Optimization Satisfiability problem and put forward Clause-Weighted-Based A* (CWBA*) solving algorithm Based on characteristic of description in OpSAT form. Finally, taking a high redundant spacecraft propulsion system as the object, the feasibility of SAT-Based Intelligent Self-configuration for SPS is verified.