ParaPlan：平面多边形微分包含系统并行可达性分析工具
分布式、并行与集群计算
2017-09-08 v1 性能
摘要
我们展示了 ParaPlan 工具，该工具提供由微分包含 (SPDI) 定义的平面混合系统的可达性分析。它使用了底层 SPeeDI 工具算法的并行化和优化版本。性能比较表明，在各种基准测试上，相较于顺序实现，其加速比高达 83 倍。我们使用的一些基准测试是基于利用 Voronoi 图划分平面的新方法随机生成的。
引用
@article{arxiv.1709.02108,
title = {ParaPlan: A Tool for Parallel Reachability Analysis of Planar Polygonal Differential Inclusion Systems},
author = {Andrei Sandler and Olga Tveretina},
journal= {arXiv preprint arXiv:1709.02108},
year = {2017}
}
备注
In Proceedings GandALF 2017, arXiv:1709.01761