Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input
Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input
复制标题
使用概率自适应输入的混合系统的快速证伪
DOI：
10.1007/978-3-030-30281-8_10
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Ichiro Hasuo
中科院分区：
文献类型：
--
作者：
Gidon Ernst;Sean Sedwards;Zhenya Zhang;Ichiro Hasuo
我们提出了一种算法，可以快速找到混合系统的伪造输入，即引导系统违反给定时间逻辑要求的输入。我们的方法是基于对输入空间的越来越细粒度的空间和时间离散化的概率定向搜索。一个关键特征是，它适应手头问题的难度，特别是每个输入段的局部复杂性，因为需要证伪。在标准基准测试的实验中，我们的方法显示出与现有技术相当或更好的性能，同时相对简单。
We present an algorithm that quickly finds falsifying inputs for hybrid systems, i.e., inputs that steer the system towards violation of a given temporal logic requirement. Our method is based on a probabilistically directed search of an increasingly fine grained spatial and temporal discretization of the input space. A key feature is that it adapts to the difficulty of a problem at hand, specifically to the local complexity of each input segment, as needed for falsification. In experiments with standard benchmarks, our approach shows comparable or better performance to existing techniques, while at the same time being relatively simple.