A research on modeling of the autonomous planning system for spacecraft

Autonomous planning system for spacecraft is a crucial issue for many space applications. Concurrences for actions and complexity of constraints for autonomous planning problem of spacecraft have been analyzed, and the main elements of planning model have been analyzed. Subsequently the modeling approach for planning domain is given based on Planning Domain Definition Language, the representation for duration constraint has been proposed based on interval theory, and timeline models have been adopted to represent the movements of spacecraft. Finally, a simplified example is given to demonstrate the modeling of autonomous planning system for spacecraft and representation of corresponding constraint.