Falsification of temporal properties of hybrid systems using the cross-entropy method

DOI10.1145/2185632.2185653MaRDI QIDQ2986759zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

robustnesstestinghybrid systemsmetric temporal logicMonte-Carlo simulationcross-entropy method

Mathematics Subject Classification ID

Monte Carlo methods (65C05) Randomized algorithms (68W20) Measures of information, entropy (94A17) Specification and verification (program logics, model checking, etc.) (68Q60)

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

Cited in

(8)

• 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
• Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
• S-TaLiRo: a tool for temporal logic falsification for hybrid systems
• Proving the existence of fair paths in infinite-state systems
• Linear Time Monitoring for One Variable TPTL
• Multi-Requirement Testing Using Focused Falsification

Describes a project that uses

Uses Software

• S-TaLiRo

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)