Time-Staging Enhancement of Hybrid System Falsification

Optimization-based falsification employs stochastic optimization algorithms to search for error input of hybrid systems. We propose a strategy that constructs such an input incrementally in several time stages. Experiments show that this stragety can significantly improve success rate and performance of falsification on certain classes of systems and properties.