A Benchmark Suite for Hybrid Systems Reachability Analysis
A Benchmark Suite for Hybrid Systems Reachability Analysis
复制标题
混合系统可达性分析的基准套件
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
S. Kowalewski
中科院分区：
文献类型：
--
作者：
Xin Chen;Stefan Schupp;Ibtissem Ben Makhlouf;E. Ábrahám;Goran Frehse;S. Kowalewski
近二十年来，连续系统和混合系统的形式化方法在研究界引起了越来越大的兴趣。广泛的分析技术被开发并在强大的工具中实现。然而，缺乏适当的基准使得这些工具的测试、评价和比较变得困难。为了支持这些过程并简化交换和可重复性，我们提出了一个用于混合系统可达性分析的多种基准套件。详细的模型描述、分类方案和实验评估有助于为给定目的找到正确的模型。
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.