混合系统中布尔连接的多臂赌博机的伪证（扩展版）
摘要：混合系统伪造是一个研究活跃的课题，作为一种适用于实际的物理网络系统的可扩展质量保证方法。在伪造过程中，使用随机山爬优化算法快速找到黑盒系统模型的反例输入。数量鲁棒语义是使用这种优化算法的关键。在本文中，我们解决了社区中广泛认识到的布尔连结的规模问题：不同规模的数量（如速度[km/h]与RPM，或者更糟糕的是RPH）可以掩盖彼此对鲁棒性的贡献。我们的解决方案是将多臂赌博机算法与山爬引导的伪造框架相结合，提出了一种新的奖励概念，称为山爬增益。我们的实验结果显示，我们的方法在规模变化下具有鲁棒性，并且优于最先进的伪造工具。
作者：Zhenya Zhang and Ichiro Hasuo and Paolo Arcaini
论文ID：1905.07549
分类：Systems and Control
分类简称：cs.SY
提交时间：2019-06-25