Modeling of Autonomous Planning Problem for Spacecraft

Aiming at the problem of online autonomous planning for intelligence spacecraft, a new approach of modeling based on activity model is proposed. Every activity of spacecraft is modeled using planning domain definition language, and then the domain model of spacecraft is constructed. Aiming at the representation problem of resource constraint, qualitative and quantitative temporal constraint, the approach for extending basic activity model is proposed, which resolves the problem of modeling constraints eventually through adding the equation and inequation into basic activity model. At last, a class of optic imaging satellites is taken as example for which autonomous planning model is constructed and corresponding guided solution algorithm is developed. The simulation results demonstrate that the approach of modeling and the algorithm are effective.