AN APPROACH TO VALIDATION PLANS FOR SATELLITE CONTROL GENERATED WITH PLANNERS SYSTEMS BASED AUTONOMOUS ARTIFICIAL INTELLIGENCE

摘要

The algorithms generated all possible plans for FSM described, regardless of the end state. However to meet the main requirement of the planner (from an initial goal, shall be able to plan to achieve the final goal) it is necessary that the algorithms are changed including the restriction to be selected only the plans that include final goal. The plausibility checker would be completed with this implementation and can be used to verify the plans on the ground stations. The method for the plausibility checker can be used in the safety bag. However, the approach changes slightly due to the dynamic characteristic of the, the purpose of including a safety bag on-board computer is to make the actions of the plan are evaluated in real time, therefore the initial state is changed, assuming is position.