Abstract | ||
---|---|---|
Since 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. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1007/978-3-319-17524-9_29 | Lecture Notes in Computer Science |
Field | DocType | Volume |
Suite,Computer science,Classification scheme,Reachability,Artificial intelligence,Formal methods,Hybrid system,Machine learning,Hybrid automaton | Conference | 9058 |
ISSN | Citations | PageRank |
0302-9743 | 9 | 0.57 |
References | Authors | |
9 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Xin Chen | 1 | 238 | 11.18 |
Stefan Schupp | 2 | 27 | 2.20 |
Ibtissem Ben Makhlouf | 3 | 26 | 5.21 |
Erika Ábrahám | 4 | 830 | 63.17 |
Goran Frehse | 5 | 745 | 38.95 |
Stefan Kowalewski | 6 | 602 | 65.14 |