中文

基于视觉的自动着陆系统的伪证

机器人学 2023-07-06 v1 系统与控制 系统与控制

摘要

在没有仪表进近或先进设备的小型机场,飞机自动着陆是一项安全关键任务,需要使用飞机上已有的传感器。本文中,我们研究以相机作为主要传感器的固定翼飞机自动着陆系统的伪证。我们首先提出一种基于视觉的自动着陆架构,包括基于视觉的跑道距离与方向估计器及相应的PID控制器。然后我们列出着陆规范,并用实际飞行数据对其进行验证。利用这些规范,我们提议使用伪证工具Breach来寻找该自动着陆系统中违背规范的反例。我们的实验使用Beechcraft Baron 58在X-Plane飞行模拟器中与MATLAB Simulink通信实现。

关键词

引用

@article{arxiv.2307.01925,
  title  = {Falsification of a Vision-based Automatic Landing System},
  author = {Sara Shoouri and Shayan Jalili and Jiahong Xu and Isabelle Gallagher and Yuhao Zhang and Joshua Wilhelm and Necmiye Ozay and Jean-Baptiste Jeannin},
  journal= {arXiv preprint arXiv:2307.01925},
  year   = {2023}
}

备注

AIAA Scitech 2021 Forum