PulseAugur
实时 08:55:44
实体 k-inductive neural barrier certificates

k-inductive neural barrier certificates

PulseAugur coverage of k-inductive neural barrier certificates — every cluster mentioning k-inductive neural barrier certificates 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 天
主题
最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_40751 ·

    新的k-NBCs增强了未知非线性系统的安全性

    研究人员开发了k-感应神经障碍证书(k-NBCs),以增强具有未知动力学的非线性系统的安全保证。该方法通过允许障碍函数在阈值内临时增加最多k-1次来放宽传统安全约束,同时确保整体系统安全。该方法利用神经网络实现可扩展性,并将反例引导的归纳合成与可满足性模理论相结合进行验证,使用单一状态轨迹来构建数据驱动的系统模型。