Stochastic local search for falsification of hybrid systems
DOI10.1007/978-3-319-24953-7_35zbMATH Open1471.68138OpenAlexW2295828805MaRDI QIDQ3460587FDOQ3460587
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
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
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)
Cited In (10)
- Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness
- Multi-armed bandits for Boolean connectives in hybrid system falsification
- Falsification of temporal properties of hybrid systems using the cross-entropy method
- Falsification of hybrid systems using adaptive probabilistic search
- Combined global and local search for the falsification of hybrid systems
- sitar
- Linear hybrid system falsification through local 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-Requirement Testing Using Focused Falsification
Uses Software
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)