Predictive Uncertainty for Runtime Assurance of a Real-Time Computer Vision-Based Landing System

## Контекст В последние годы данно-настоящие технологии, основанные на машинном обучении, позволили создать устойчивые и эффективные системы автономного управления в сфере гражданской авиации. Например, использование визуального распознавания для задач, таких как автоматическое приземление и обнаружение полосы посадки, стало возможным благодаря высокоинформативным моделям и сильному увеличению объемов изображений. Однако, существуют значительные проблемы, связанные с доказательством надежности и безопасности этих систем в критичных для безопасности авиационных приложениях. Одним из основных вызовов является обеспечение не только точности, но и достоверности предсказаний моделей во время исполнения. Работа представляет собой усилие по созданию реалистичной визуальной системы, определяющей положение самолета относительно полосы посадки, которая может быть защищена и использована в критичных ситуациях. ## Метод Предлагаемый подход представляет собой инновационную визуальную модель, основанную на нейронных сетях, для точного и быстрого определения положения самолета в отношении полосы посадки. Основные инновации включают: (i) эффективную и гибкую архитектуру нейросети, основанную на Soft Argmax, которая позволяет получать проблему регрессии проблем с ключевыми точками поддерживая реального времени выполнение на разных моделях распознавания символов; (ii) новшество функции потерь, которая приводит к убедительным и калиброванным оценкам неопределенности; и (iii) расширенную версию Residual-based Receiver Autonomous Integrity Monitoring (RAIM), которая позволила реализовать возможность исправления и отклонения неточных выводов на время исполнения. Весь метод нацелен на создание системы, которая была бы надежна для применения в сложных авиационных ситуациях. ## Результаты Команда проводила исследования, используя набор данных, содержащий многочисленные изображения полосы посадки. Результаты показывают, что новая модель превосходит базовые архитектуры в точности определения положения самолета. Кроме того, она производит калиброванные оценки неопределенности с чрезвычайно высокой точностью до сотых долей пикселя. Эти показатели не только свидетельствуют о том, что модель может эффективно работать в реальном времени, но и обеспечивают фундамент для уверенного использования в системах с безопасным применением. ## Значимость Предлагаемая модель может применяться в различных авиационных системах, таких как системы поддержки приема и ведения курса, а также в системах автоматического приземления. Она предлагает несколько преимуществ, таких как улучшенная точность, более достоверные оцен