Falsification of temporal properties of hybrid systems using the cross-entropy method
DOI10.1145/2185632.2185653zbMATH Open1362.68183OpenAlexW2039287452MaRDI QIDQ2986759FDOQ2986759
Authors: Sriram Sankaranarayanan, Georgios E. Fainekos 
Publication date: 16 May 2017
Published in: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2185632.2185653
Recommendations
- Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems
- Stochastic local search for falsification of hybrid systems
- S-TaLiRo: a tool for temporal logic falsification for hybrid systems
- Rare-event verification for stochastic hybrid systems
- Hybrid Systems: From Verification to Falsification
Monte Carlo methods (65C05) Randomized algorithms (68W20) Measures of information, entropy (94A17) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (8)
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
- Proving the existence of fair paths in infinite-state systems
- Extracting counterexamples induced by safety violation in linear hybrid systems
- Falsification of combined invariance and reachability specifications in hybrid control systems
- Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems
- S-TaLiRo: a tool for temporal logic falsification for hybrid systems
- Linear Time Monitoring for One Variable TPTL
- Multi-Requirement Testing Using Focused Falsification
Uses Software
This page was built for publication: Falsification of temporal properties of hybrid systems using the cross-entropy method
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986759)
