研究人员开发了k-感应神经障碍证书（k-NBCs），以增强具有未知动力学的非线性系统的安全保证。该方法通过允许障碍函数在阈值内临时增加最多k-1次来放宽传统安全约束，同时确保整体系统安全。该方法利用神经网络实现可扩展性，并将反例引导的归纳合成与可满足性模理论相结合进行验证，使用单一状态轨迹来构建数据驱动的系统模型。 AI
影响 为具有未知动力学的AI系统的可验证安全性引入了一种新颖的方法。
排序理由 学术论文，详细介绍了一种新的系统安全方法。[lever_c_demoted from research: ic=1 ai=1.0]
- counterexample-guided inductive synthesis
- k-inductive neural barrier certificates
- neural networks
- satisfiability modulo theories
- Willems et al.'s fundamental lemma
- nonlinear systems
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
