为了有效阻止飞机在空中相撞,我们希望设计这样一种系统,该系统能够提醒飞行员潜在的威胁,并指导飞行员操纵飞机以避免空中相撞的威胁 [3] 。该系统与其他飞机的应答器进行通信,以一定程度的精确性识别其他飞机的位置。如何决定向飞行员提供什么样的指导是一项具有挑战性的任务。飞行员的反应有多快,他们是否愿意完全根据指导做出反应,这些都是不确定的。除此之外,其他飞机的行为也存在不确定性。我们希望所设计的系统可以足够早地发出警报,以便为飞行员提供足够的时间来操纵飞机以避免碰撞,但我们不希望系统过早地发出警报,因为这会导致许多不必要的操纵行为。由于该系统将在全球范围内不间断地被使用,因此我们需要确保该系统能够提供卓越的安全水准。