• 佩索阿

  • 引用18条[sw20123]
  • 控制器综合工具网络-身体的 系统. 我们介绍pessoa2.0,一个自动。。。综合控制器网络-身体的 系统基于正确的设计方法。Pessoa2.0接受。。。网络-身体的 系统用一组光滑的微分方程和自动机来表示。。。
  • 普维斯塔

  • 引用16条[sw08423]
  • 概率系统比如说,网络-身体的 系统通常是概率性的。。。
  • 科拉

  • 参考7篇文章[sw25659]
  • 类的形式验证网络-身体的 系统使用可达性分析。整合各种科拉。。。
  • 模型丛

  • 引用4篇文章[sw23944]
  • ModelPlex:已验证的运行时验证网络-身体的 系统模型。正式验证和验证游戏。。。在制造网络-身体的 系统(CPS)安全。形式化的方法对。。。
  • EFSMT公司

  • 引用2篇文章【sw19487】
  • EFSMT:一个逻辑框架网络-身体的 系统. 设计网络-身体的 系统... 分布式嵌入式实时综合系统用于控制,通常是在非线性。。。分析综合基础网络-身体的 系统. 我们展示了EFSMT的表现力。。。
  • 权杖

  • 引用4篇文章[sw09887]
  • 验证所谓网络-身体的 系统由软件密集型组件组成。。。
  • 亚德尔

  • 引用4篇文章【sw20835】
  • 数量网络-身体的 系统是分层分布式控制系统它们的部件工作原理不同。。。
  • 香附

  • 引用2篇文章[sw20140]
  • 香附:a网络-身体的 系统模拟器。这个演示提供了预发布的预览。。。CyPhySim,一个开源模拟器网络-身体的 系统. 这个模拟器支持离散事件模型。。。
  • 验证

  • 引用2篇文章[sw29643]
  • verify:已验证的控制器可执行文件来自verified网络-身体的 系统模型。验证,我们证实了。。。安全关键的高级模型网络-身体的 系统微分动态逻辑中。。。
  • 重新认证

  • 引用3篇文章[sw28191]
  • 从工程科学,程序验证和网络-身体的 系统. 它是基于混合符号。。。
  • 迪姆西姆

  • 1条引用[sw09874]
  • 自动量纲分析网络-身体的 系统. 建立一个网络-身体的... 方法不能扩展到复杂网络-身体的 系统有许多相互作用的部件。我们呈现。。。检查a的尺寸一致性网络-身体的 系统在Simulink中建模。DimSim生成。。。发现模型中的关键错误网络-身体的 系统...
  • 敏锐

  • 1条引用[sw36603]
  • Acumen:一个开源的测试平台网络-物理的 系统研究。发展网络-物理的 系统要求。。。工具可以交付给网络-物理的 系统. 就像验证工具,一个设计目标。。。
  • 网络草图

  • 引用2篇文章[sw20006]
  • 本文定义了形式系统作为NetSketch操作的基础,尤其是。。。车辆网络(作为网络-身体的 系统(CPS)应用程序)和流媒体。。。
  • 蒙特勒

  • 引用2篇文章[sw30369]
  • 分析和推理的任务网络-身体的 系统. 这是第一次。。。
  • DryVR公司

  • 1条引用[sw28120]
  • 黑盒控制器综合网络-身体的 系统. 我们展示了一个DryVR的演示。。。验证与控制器综合网络-身体的 系统由黑盒模拟器和白盒组成。。。
  • NNV公司

  • 1条引用[sw32539]
  • 深层神经网络和学习能力网络-物理的 系统. 本文介绍了神经网络。。。神经网络(DNNs)和学习支持网络-身体的 系统(CPS)。关键是。。。
  • 开梅塔

  • 1条引用[sw09392]
  • 基于组件的设计工具链网络-身体的 系统基于模型和组件的设计。。。综合体的设计与制造网络-身体的 系统(CPS)例如车辆。。。
  • ML2型

  • 1条引用[sw35533]
  • 物联网(IoT)和网络-物理的 系统(CPS)。ML2是基于ML。。。
  • 小型CPS

  • 1条引用[sw26654]
  • 用于现代化通信基础设施网络-物理的 系统(CPS)如工业控制系统...