Stanley Bak 发布 ACAS Xu Quantized Closed-Loop System 数据集, 应用在 航空安全、系统验证 领域

Stanley Bak 本次发布的数据集 ACAS Xu Quantized Closed-Loop System, 该数据集围绕闭路空对空避碰系统ACAS Xu的安全验证展开，特别关注通过量化状态的后向可达性进行的安全性验证。该数据集是通过模拟生成的，分析了ACAS Xu系统中不安全状态，并包含了展示不安全场景的反例。数据集规模涵盖了1267200个不安全状态的分区，其任务是对避碰系统的安全性进行验证。

查看ACAS Xu Quantized Closed-Loop System

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。