Exploring Behaviors of Hybrid Systems via the Voronoi Bias over Output Signals

作     者：Ernst, Gidon Fejlek, Jiří 

作者机构：Software and Computational Systems Lab Department of Computer Science Ludwig-Maximilians-Universität München Oettingenstraße 67 Munich80538 Germany The Czech Academy of Sciences Institute of Computer Science Pod Vodárenskou věží 271/2 Prague182 07 Czech Republic 

出 版 物：《arXiv》 (arXiv)

年 卷 期：2024年

核心收录：

主　　题：Decision trees 

摘      要：In this paper, we consider an analysis of temporal properties of hybrid systems based on simulations, so-called falsification of requirements. We present a novel exploration-based algorithm for falsification of black-box models of hybrid systems based on the Voronoi bias in the output space. This approach is inspired by techniques used originally in motion planning: rapidly exploring random trees. Instead of commonly employed exploration that is based on coverage of inputs, the proposed algorithm aims to cover all possible outputs directly. Compared to other state-of-the-art falsification tools, it also does not require robustness or other guidance metrics tied to a specific behavior that is being falsified. This allows our algorithm to falsify specifications for which robustness is not conclusive enough to guide the falsification procedure. Copyright © 2024, The Authors. All rights reserved.