.png){kind=icon}
返回
Efficient Dynamic Shielding for Parametric Safety Specifications
.png){kind=icon}
PRE
AI
DOI：10.0007/978-3-032-08707-2-8.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
屏蔽已成为确保AI控制自主系统安全的一种有前景的方法。算法目标是为计算一个屏蔽，这是一种运行时安全执行工具，需要监控AI控制器的行为并在可能危及安全时进行干预。传统的屏蔽是针对特定的安全需求静态设计的。因此，如果由于操作条件的变化导致安全需求在运行时发生变化，屏蔽需要从头重新计算，这可能导致致命的延迟。我们引入了针对参数化安全规范的动态屏蔽，这些规范是可能遇到的所有可能安全规范的简洁表示集合。我们的动态屏蔽是针对给定的安全参数集静态设计的，并且能够在真实安全规范（由参数决定）在运行时显现时动态适应。主要的算法创新在于动态适应过程，这是一种简单快速的算法，利用了标准安全屏蔽的已知特性，如最大宽容性。我们报告了在未知领域中的机器人导航问题的实验结果，其中安全规范随着新障碍物的发现而演变。在我们的实验中，动态屏蔽的离线设计花费了几分钟，而每次步骤的在线适应花费了不到一秒到几秒的时间，相比之下，暴力在线重新计算方法慢了多达5倍。
Keyword:
Dynamic shields
parametric safety
symbolic control
