p面 swMATH ID: 30630 软件作者： 哈立德，马哈茂德；马吉德·扎马尼 描述： pFaces：用于符号控制的加速生态系统。控制软件在许多安全关键应用中的正确性至关重要，例如自动驾驶车辆。实现正确控制软件的一种技术称为“符号控制”，其中复杂系统通过有限状态抽象进行近似。然后，利用这些抽象，为具体系统进行可证明正确的数字控制器的算法合成，以满足复杂的高层需求。不幸的是，合成此类控制器的复杂性在状态变量的数量上呈指数级增长。然而，如果考虑分布式实现，则可以利用高性能计算平台来缓解状态爆炸问题的影响。我们提出pFaces，一个可扩展的软件生态系统，来加速符号控制技术。它有助于设计并行算法并监督其执行，以利用可用的计算资源。为了证明其能力，设计了基于抽象的控制器综合的新型并行算法。然后，它们在pFaces中实现，并在不同的异构计算平台（包括CPU、GPU和硬件加速器（HWA））中进行调度以实现并行执行。结果表明，随着处理元素（PE）数量的增加，计算时间显著减少了几个数量级，这很容易优于所有现有工具。 主页： https://dl.acm.org/citation.cfm？id=3311798 关键词： C类++;中央处理器;FPGA（现场可编程门阵列）;通用分组;硬件加速器;开放运算语言;离散抽象;高性能计算;消息传递接口（MPI）;并行算法;反应合成;符号控制 相关软件： 斯科特;ROCS公司;科西马;PESSOA公司;OmegaThreads公司;S每个工具;棱镜;斯托克Hy;FAUST2型;AMYTISS公司;SReach公司;ProbReach公司;条纹;数学SAT5;CEGAR公司;风暴;Modelica公司;Sostools公司;工具箱LS;z3（零3） 引用于： 7文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 p面：符号控制的加速生态系统。 Zbl 07120161号马哈茂德·哈立德;马吉德·扎马尼 2019 全部的 前5名12位作者引用 5 马吉德·扎马尼 4 马哈茂德·哈立德 2 阿波法兹·拉瓦伊 2 苏德贾尼，萨代格 1 亚历山德罗·阿巴特 1 徐凯尔 1 伊利赛·马科维奇克（Elisei Macoveiciuc） 1 鲁帕克·马朱姆达尔 1 考希·马利克 1 Reißig、Gunther 1 安妮·凯瑟琳·施穆克 1 亚历山大·韦伯 连载1篇 1 Automatica公司 在3个字段中引用 7 系统论；控制（93至XX） 5 计算机科学（68至XX） 1 运筹学、数学编程（90-XX） 按年份列出的引文