研究人员开发了一个新颖的框架来认证动态系统的安全性，将其视为一个分类问题而非递归动态规划方法。这种新方法使用核嵌入直接估计T步安全概率，避免了传统方法中存在的复合误差，尤其是在更长的时间范围内。该框架统一了现有的方法，如屏障证书和鲁棒马尔可夫模型，能够对具有非马尔可夫动力学的系统进行安全认证，并展示了在不同认证范围内的稳定性。 AI
影响 引入了一种新的安全认证方法，可以提高AI控制系统的可靠性。
排序理由 这是一篇发表在arXiv上的研究论文，详细介绍了一个用于动态系统安全认证的新框架。[lever_c_demoted from research: ic=1 ai=1.0]
- arXiv
- barrier certificates
- dynamic programming
- kernel embedding
- neural-controlled quadrotor
- robust Markov models
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
