电气工程与系统科学>系统与控制
职务: 使用贝叶斯优化对网络物理系统进行伪造
摘要: 网络物理系统(CPS)通常是复杂和安全关键的; 因此,很难保证满足系统的要求,即规范,也很重要。 基于仿真的CPS篡改是一种实用的测试方法,它只需对被测系统进行仿真即可提高对系统正确性的信心。 由于每个仿真都是典型的计算密集型仿真,因此重要的一步是减少伪造规范所需的仿真次数。 我们研究贝叶斯优化(Bayesian optimization,BO),这是一种有效的抽样方法,它学习一个代理模型,该模型描述了可能输入信号的参数化与规范评估之间的关系。 在本文中,我们通过; 首先采用两种突出的BO方法,一种适合本地代理模型,另一种利用用户的先验知识。 其次,本文讨论了证伪捕获函数的表达式。 基准评估表明,在使用BO的本地代理模型伪造以前难以伪造的基准示例方面有了显著改进。 当模拟预算有限时,在证伪过程中使用先验知识显得尤为重要。 对于一些基准问题,获取函数的选择显然会影响成功伪造所需的模拟次数。