LLM2D
通过状态空间变换实现高效防护合成
Efficient Shield Synthesis via State-Space Transformation
发布日期: 9/23/2024
arXiv ID: oai:arXiv.org:2407.19911v3

摘要

我们考虑了合成控制系统安全策略的问题,也称为防护罩。由于状态空间是无限的,防护罩通常在有限状态抽象上计算,最常见的抽象是矩形网格。然而,对于许多系统,这种网格与安全属性或系统动力学并不完全吻合。因此,粗网格通常不够充分,而细网格在计算上通常是不可行的。在本文中,我们展示了适当的状态空间变换仍然可以在几乎没有计算开销的情况下使用粗网格。我们在三个案例研究中证明了基于变换的合成方法比标准合成方法快几个数量级。在前两个案例研究中,我们使用领域知识选择合适的变换。在第三个案例研究中,我们报告了在没有领域知识的情况下设计变换的结果。