Mar, 2024
数据驱动的分布式稳健安全验证:基于屏障证书和条件平均嵌入
Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
Oliver Schön, Zhengang Zhong, Sadegh Soudjani
TL;DR通过使用屏障证书的概念,从系统的紧凑轨迹集合直接学习并构造一个可以根据一组可信转移内核对结果进行鲁棒化的重复核希尔伯特空间的模糊集合,我们展示了如何使用均值嵌入将系统数据嵌入到重复核希尔伯特空间(RKHS)中,并使用和方差优化和高斯过程包络来高效解决由此产生的问题。与最先进的方法相比,在测试案例上,我们的方法减少了在验证系统安全性方面的样本复杂度。