Lunar lander; Formal verification; Hybrid systems; Reachable set; Invariant;
机译:时域近邻最优制导,第2部分:在月球下降和软着陆中的应用
机译:轨道速度条件下的月球下降和着陆高级制导方案
机译:使用单个推进器的月球着陆器的精确功率下降控制
机译:正式验证月球着陆器的后裔制导控制程序
机译:月球动力下降的制导和导航线性协方差分析。
机译:’娥四号在月球远端的下降轨迹重建和着陆点定位
机译:农历下降和降落从轨道速度条件的高级指导方案
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术