TY - GEN
T1 - Fast falsification of hybrid systems using probabilistically adaptive input
AU - Ernst, Gidon
AU - Sedwards, Sean
AU - Zhang, Zhenya
AU - Hasuo, Ichiro
N1 - Funding Information:
This work is supported by the ERATO HASUO Metamathematics for Systems Design Project (No. JPMJER1603), JST; and Grants-in-Aid No. 15KT0012, JSPS.
Publisher Copyright:
© Springer Nature Switzerland AG 2019.
PY - 2019
Y1 - 2019
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85072853259&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85072853259&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-30281-8_10
DO - 10.1007/978-3-030-30281-8_10
M3 - Conference contribution
AN - SCOPUS:85072853259
SN - 9783030302801
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 165
EP - 181
BT - Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings
A2 - Parker, David
A2 - Wolf, Verena
PB - Springer Verlag
T2 - 16th International Conference on Quantitative Evaluation of Systems, QEST 2019
Y2 - 10 September 2019 through 12 September 2019
ER -