Falsification of hybrid systems using adaptive probabilistic search

DOI10.1145/3459605MaRDI QIDQ6584559zbMATH OpenFDO

Authors Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo

Publication date 8 August 2024

Published in ACM Transactions on Modeling and Computer Simulation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3459605

zbMATH Keywords

falsificationhybrid systemsprincipled probabilistic search

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Stochastic local search for falsification of hybrid systems
• Linear hybrid system falsification through local search
• Combined global and local search for the falsification of hybrid systems
• Falsification of hybrid systems using symbolic reachability and trajectory splicing
• Hybrid systems: From verification to falsification by combining motion planning and discrete search

Cited in

(4)

• Falsification of hybrid systems using symbolic reachability and trajectory splicing
• Multi-armed bandits for Boolean connectives in hybrid system falsification
• Exploring behaviors of hybrid systems via the Voronoi bias over output signals
• Fast and scalable monitoring for value-freeze operator augmented signal temporal logic

This page was built for publication: Falsification of hybrid systems using adaptive probabilistic search

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6584559)