ACAS Xu Quantized Closed-Loop System
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/stanleybak/quantized_nn_backreach/releases/tag/NFM2022_submitted
下载链接
链接失效反馈官方服务：
资源简介：
该数据集围绕闭路空对空避碰系统ACAS Xu的安全验证展开，特别关注通过量化状态的后向可达性进行的安全性验证。该数据集是通过模拟生成的，分析了ACAS Xu系统中不安全状态，并包含了展示不安全场景的反例。数据集规模涵盖了1267200个不安全状态的分区，其任务是对避碰系统的安全性进行验证。
This dataset focuses on the safety verification of the closed-loop air-to-air collision avoidance system ACAS Xu, with particular emphasis on safety verification conducted via backward reachability analysis of quantized states. Generated through simulation, this dataset analyzes unsafe states within the ACAS Xu system and includes counterexamples that demonstrate unsafe scenarios. It covers 1,267,200 partitions of unsafe states, and its core objective is to verify the safety of the collision avoidance system.
提供机构：
Stanley Bak et al.
