Stochastic local search for falsification of hybrid systems

DOI10.1007/978-3-319-24953-7_35MaRDI QIDQ3460587zbMATH OpenOpenAlexFDO

Authors Jyotirmoy V. Deshmukh, James Kapinski, Oded Maler, 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

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Approximation methods and heuristics in mathematical programming (90C59) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Application models in control theory (93C95) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• Linear hybrid system falsification through local search
• Combined global and local search for the falsification of hybrid systems
• Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems
• Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing
• S-TaLiRo: a tool for temporal logic falsification for hybrid systems

Cited in

(10)

• Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness
• Falsification of hybrid systems using adaptive probabilistic search
• Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems
• S-TaLiRo: a tool for temporal logic falsification for hybrid systems
• Multi-armed bandits for Boolean connectives in hybrid system falsification
• sitar
• Falsification of temporal properties of hybrid systems using the cross-entropy method
• Combined global and local search for the falsification of hybrid systems
• Linear hybrid system falsification through local search
• Multi-Requirement Testing Using Focused Falsification

Describes a project that uses

Uses Software

• Matlab
• S-TaLiRo
• Breach

This page was built for publication: Stochastic local search for falsification of hybrid systems

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