Research on Modelling of Planning System for Autonomous Spacecraft

Concurrences for actions and complexity of constraints for planning problem of autonomous spacecraft have been analyzed according to the characters of spacecraft system.The architecture of planning system for autonomous spacecraft has been proposed,and the main elements of planning model have been analyzed.Subsequently the planning domain has been modeled through Planning Domain Definition Language,the duration constraint has been represented by means of interval theory,and timeline models have been adopted to represent the concurrent activities of spacecraft.Finally,the modeling of planning system for autonomous spacecraft and representation of its constraint are solved,and a simulation example is given to demonstrate the proposed approach.