Model-based Intelligent Configuration and Reconfiguration for Spacecraft Propulsion System

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