Current Challenges in the Verification of Hybrid Systems
Current Challenges in the Verification of Hybrid Systems
复制标题
DOI：
10.1007/978-3-319-25141-7_2
复制
发表时间：
2015-10
期刊：
影响因子：
--
通讯作者：
Stefan Schupp;E. Ábrahám;Xin Chen;Ibtissem Ben Makhlouf;Goran Frehse;S. Sankaranarayanan;S. Kowalewski
中科院分区：
文献类型：
--
作者：
Stefan Schupp;E. Ábrahám;Xin Chen;Ibtissem Ben Makhlouf;Goran Frehse;S. Sankaranarayanan;S. Kowalewski
最新的发展带来了有趣的理论结果和强大的工具，混合系统的可达性分析。然而，为了使这些技术适用于工业背景下的大规模应用，仍然存在有待解决的挑战性问题。为了支持这一发展，在本文中，我们简要概述了现有的算法和工具，并指出了一些关于各种属性的混合动力系统的验证是至关重要的个别特点。我们提出了三个基准的示范性评价，以激励进一步发展的需要，并讨论了未来在这一领域的研究的一些主要挑战。
Latest developments brought interesting theoretical results and powerful tools for the reachability analysis of hybrid systems. However, there are still challenging problems to be solved in order to make those technologies applicable to large-scale applications in industrial context. To support this development, in this paper we give a brief overview of available algorithms and tools, and point out some of their individual characteristics regarding various properties which are crucial for the verification of hybrid systems. We present exemplary evaluations on three benchmarks to motivate the need for further development and discuss some of the main challenges for future research in this area.