学习型障碍证书的任意时刻有效运行时监控方法

研究者提出一种 anytime-valid 运行时监控器，用观测到的闭环轨迹审计学习型障碍证书，检测其在部署时因动力学偏离训练分布而失去统计支持。该方法将条件障碍漂移表述为逐回合序贯假设检验，把障碍增量转化为非负检验上鞅，在任意停止时间下实现有限样本误报控制，并通过监控边界的确定性时间整形在前段部署期内更保守。实验评估了有效与无效证书下的经验报警行为，代码和数据已公开。