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

DOI10.1145/2185632.2185653zbMath1362.68183OpenAlexW2039287452MaRDI QIDQ2986759

Georgios E. Fainekos, Sriram Sankaranarayanan

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

robustnesshybrid systemstestingmetric temporal logicMonte-Carlo simulationcross-entropy method

Mathematics Subject Classification ID

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

Related Items (5)

Extracting counterexamples induced by safety violation in linear hybrid systems ⋮ Linear Time Monitoring for One Variable TPTL ⋮ Falsification of combined invariance and reachability specifications in hybrid control systems ⋮ Proving the existence of fair paths in infinite-state systems ⋮ Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties

Uses Software

• S-TaLiRo

This page was built for publication: Falsification of temporal properties of hybrid systems using the cross-entropy method