基于有限状态机的交会对接飞行任务规划方法

为实现多约束条件下载人航天器交会对接（RVD）飞行任务的快速、准确规划，提出了一种基于有限状态机（FSM）的飞行任务规划方法。通过飞行过程与有限状态机的映射关系建立图形化任务规划模型，以飞行事件为状态，以测控、光照等约束条件为输入信号，驱动有限状态机的状态转移，进行模型求解，实现交会对接飞行任务的自动规划。以中国神舟十号飞行任务中航天员手控交会对接试验为例，进行了规划验证。经对比，规划计算结果与任务实施结果一致，表明所提方法可以实现交会对接飞行任务的快速、准确规划。 

RVD flight mission planning and scheduling method based on finite state machine

The flight mission planning and scheduling method based on finite state machine (FSM) was proposed for planning and scheduling the rendezvous and docking (RVD) flight mission of manned spacecraft rapidly and exactly under multi-constraints. The graphical mission planning and scheduling model was established by mapping the RVD process with FSM. The flight events were taken as states and the constraints, such as sunlight condition, telemetry tracking and command coverage, were taken as input signals of the FSM. The model was solved automatically by driving the state machine transit from the initial state to the last one according to the flight sequence. Take the manned RVD experiment in China's Shenzhou-10 mission as an example, the proposed method was verified. The mission planning and scheduling result was consistent with the on-orbit execution. It shows that the FSM based modeling method can realize the RVD flight mission planning and scheduling rapidly and exactly.