Stochastic Local Search for Falsification of Hybrid Systems

DOI10.1007/978-3-319-24953-7_35zbMath1471.68138OpenAlexW2295828805MaRDI QIDQ3460587

Oded Maler, Jyotirmoy V. Deshmukh, James Kapinski, Xiao-qing Jin

Publication date: 8 January 2016

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24953-7_35

Mathematics Subject Classification ID

Approximation methods and heuristics in mathematical programming (90C59) Control/observation systems involving computers (process control, etc.) (93C83) Application models in control theory (93C95) 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)

Related Items

Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness ⋮ Multi-Requirement Testing Using Focused Falsification ⋮ sitar

Uses Software

• Matlab
• S-TaLiRo
• Breach