过去部署的硬件的性能。最近,向太空发射新硬件的成本一直在下降,这使得部署更强大的硬件成为可能。在系统中增加自主性会增加非确定性行为,这可能导致不可预见的故障,从而导致部署的硬件丢失。此外,利益相关者通常发现在许多领域完全自主并不可取,因为这种系统缺乏可信度[1]。因此,在部署之前,需要对此类系统进行适当的验证和确认[2]。随着我们从直接控制的机器人转向更自主的版本,额外的“自主性”问题开始发挥作用。自主系统可以(在太空中,通常必须)在没有直接、实时的人为控制的情况下做出自己的决定并采取自己的行动。显然,验证所做出的决定(和行动)在给定场景中是否正确非常重要。然而,除非系统运行的环境特别简单,否则我们不会
主要关键词