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

研究者提出一种 anytime-valid 运行时监控器，用观测到的闭环轨迹审计学习型屏障证书（barrier certificate），检测其在部署中因动力学偏移而失去统计支持的情况。该方法将条件屏障漂移构造成逐回合序贯假设检验，把观测的屏障增量转化为非负检验上鞅，在任意停止时间下实现有限样本误报控制，并引入确定性时间整形使监控边界在部署初期更保守。该监控器不保证在不安全进入前检测或后续干预安全，代码与数据已开源。