AI与世界难题 · 理论计算机科学 · arXiv · 2026-10-21
学习所得障碍证书的任意时刻有效运行时监测
原标题: Anytime-Valid Runtime Monitoring of Learned Barrier Certificates
针对随机系统的学习型障碍证书在部署过程中可能因底层动力学与训练时不一致而失去有效性。作者提出了一种随时有效的运行时监控器，从观测到的闭环轨迹对证书进行审计，将障碍漂移表述为逐回合的序贯假设检验，其增量构成非负的检验上鞅，从而在任意停止时间下提供有限样本的误报警控制。该监控器检测的是证书不再与观测动力学相符的统计证据——而非预测不安全进入——并在有效与无效证书下评估了其报警行为。