arXiv·· 13 天前AI 评分26
面向 AI 可信性：为 AI 控制系统寻找可解析证明的前向不变集
Toward AI Trustworthiness: Finding Analytically Proven Forward-Invariant Sets for AI-Controlled Systems
AI 导读
针对神经网络控制器在非线性控制系统中难以解释和验证的问题，研究者提出为给定 AI 控制系统寻找可解析证明的前向不变集（FIS），即任意从该状态空间区域出发的轨迹都保持在区域内的集合。若该 FIS 排除不安全状态，则区域内初始状态的安全性可得到保证。
来源：arXiv · arxiv.org