网络物理系统建模

网络物理系统包含直接与物理环境交互。指定行为渴望的这样的系统需要物理的分析模型现象。同样,测试它们需要模拟连续系统。虽然许多工具支持开发的后期阶段模拟代码,分析之间仍有很大差距建模和构建运行模拟器。这个差距很大阻碍科学家和工程师开发新产品的能力网络物理系统。

我们建议通过自动化分析映射来缩小这一差距模型到仿真代码。专注于机械系统作为重要的一类物理系统,我们研究分析的形式该领域中出现的模型,以及领域专家将它们映射到可执行代码。我们展示了钥匙自动化该映射所需的步骤是1)轻量级分析部分直接方程,2)结合时间分析,3)符号分化。除了生产原型建模环境,我们强调了仿真工具支持的艺术,并建议一些这些限制中的一个是可以克服的。