Acumen公司 swMATH ID: 36603 软件作者: Taha、Duracz、Zeng、Atkinson、Bartha、Brauner、Duracx、Xu等。 描述: Acumen:网络物理系统研究的开放源代码测试平台。开发网络物理系统需要方法和工具来支持混合(连续和离散)模型的仿真和验证。Acumen建模和仿真语言是一个开源测试平台,用于探索下一代严格的实用工具可以为网络物理系统开发人员提供什么样的设计空间。与验证工具一样,Acumen的设计目标是提供严格的结果。与模拟工具一样,它的目标是直观、实用和可扩展。然而,这两个目标能否同时实现还远远不清楚。本文解释了Acumen的主要设计目标、为实现这些目标必须解决的核心挑战、项目采取的“敏捷研究方法”、实现这些目标所采取的步骤、学到的关键经验教训以及新兴语言设计。 主页: https://publications.aston.ac.uk/id/eprint/29708/1/cyclone2015.pdf 相关软件: 戴恩拜克斯;Codac公司;JuliaReach公司;流量*;IBEX公司;ValEncIA-IVP公司;PHAVer公司;GloptiPoly公司;AQCS(质量控制系统) 引用于: 2文件 5位作者引用 2 卢克·杰林 1 达默斯,朱利安 1 托马斯·勒梅佐 1 西蒙,罗侯 1 泽尔,伯努瓦 2篇连载文章中引用 1 国际控制杂志 1 Automatica公司 在1个字段中引用 2 系统论;控制(93至XX) 按年份列出的引文