Our paper “A Benchmark Suite for Hybrid Systems Reachability Analysis” by Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Abraham, Goran Frehse, and Stefan Kowalewski was accepted at NFM’15.

In the last two decades, a wide range of hybrid systems reachability analysis techniques were proposed in the literature and implemented in powerful tools. However, the lack of appropriate benchmarks make the testing, evaluation and comparison of those tools difficult. To support these processes and to ease exchange and repeatability, we present a manifold benchmark suite for the reachability analysis of hybrid systems. Detailed descriptions, experimental evaluations, and classification schemes for the benchmarks help to find the right models for a given purpose or tool.