A Benchmark Suite for Hybrid Systems Reachability Analysis

Author(s)

Xin Chen, University of Dayton
Stefan Schupp, RWTH Aachen University
Ibtissem Ben Makhlouf, RWTH Aachen University
Erika Ábrahám, RWTH Aachen University
Goran Frehse, Verimag
Stefan Kowalewski, RWTH Aachen University

Document Type

Conference Paper

Publication Date

2015

Publication Source

NASA Formal Methods Symposium

Abstract

For about two decades, formal methods for continuous and hybrid systems enjoy increasing interest in the research community. A wide range of analysis techniques were developed 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 model descriptions, classification schemes, and experimental evaluations help to find the right models for a given purpose.

Inclusive pages

408-414

ISBN/ISSN

9783319175232

Comments

Permission documentation on file.

Copyright

Copyright © 2015, Springer

Publisher

Springer

Peer Reviewed

yes

eCommons Citation

Chen, Xin; Schupp, Stefan; Makhlouf, Ibtissem Ben; Ábrahám, Erika; Frehse, Goran; and Kowalewski, Stefan, "A Benchmark Suite for Hybrid Systems Reachability Analysis" (2015). Computer Science Faculty Publications. 131.
https://ecommons.udayton.edu/cps_fac_pub/131