HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis
HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis
复制标题
DOI：
10.1007/978-3-319-57288-8_20
复制
发表时间：
2017-05
期刊：
影响因子：
--
通讯作者：
Stefan Schupp;E. Ábrahám;Ibtissem Ben Makhlouf;S. Kowalewski
中科院分区：
文献类型：
--
作者：
Stefan Schupp;E. Ábrahám;Ibtissem Ben Makhlouf;S. Kowalewski
在这篇工具白皮书中，我们介绍了我们的免费开源C++编程库HyPro，它提供了混合系统基于流管道结构的可达性分析技术所使用的最重要的状态集表示的实现。
In this tool paper we introduceHyPro, our free and open-sourceC++programming library, which offers implementations for the most prominent state set representations used by flowpipe-construction-based reachability analysis techniques for hybrid systems.