PulseAugur
中
实时 12:01:11
实体 Bi-simulation theory

Bi-simulation theory

PulseAugur coverage of Bi-simulation theory — every cluster mentioning Bi-simulation theory across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_206480 ·

    $S^3$ 方法优化动力系统的神经网络抽象

    研究人员开发了一种称为平滑仿真代理（$S^3$）的新方法，用于优化动力系统的离散抽象，特别是那些具有神经网络控制器的系统。这种可微分的目标函数近似了用于量化抽象中保守性的指标，从而允许进行基于梯度的优化，同时保持其可靠性。在三个案例研究中的评估表明，$S^3$ 与反向仿真指标具有良好的相关性，计算效率高，并能有效降低抽象保守性。