完善感知合同：基于视觉的安全自动着陆案例研究
原文约300字，阅读约需1分钟。发表于：。通过引入一种建立数据和需求导向的感知合同精化算法 (DaRePC)，本文分析了两个使用多阶段异构的机器学习增强感知的 6 维和 12 维飞行控制系统，提供了可测试的合同以确定飞机是否可以安全降落在跑道上以及无人机是否能够安全通过一系列的门，同时也可以发现可能违反基于视觉的控制系统安全性的条件（例如，低地平线的太阳）。
本文介绍了一种建立数据和需求导向的感知合同精化算法，用于飞行控制系统的安全性测试。通过分析多阶段异构的机器学习增强感知，提供可测试的合同以确定飞机和无人机的安全性，并发现了可能违反基于视觉的控制系统安全性的条件。
