超鞅证书的运行时监测方法研究

论文提出超鞅证书的运行时监测问题：监测器观察单条系统轨迹，在有充分统计证据表明证书被执行违反时报警，以应对证书依赖数学模型带来的 sim-to-real 落差。作者给出基于下注式序贯检验的算法自动构造监测器，将误报概率上界控制在用户指定水平，并在该框架下设计利用空间正则性提升检测能力的策略，同时保留统计保证，最后在文献中的超鞅证书基准上验证了方法效果。