AI 與世界的難題 · 理論資訊科學 · arXiv · 2026-10-21
學習式屏障憑證的任意時刻有效執行時期監控
原標題: Anytime-Valid Runtime Monitoring of Learned Barrier Certificates
針對隨機系統學習所得的障壁憑證，在部署時若底層動態與訓練時不同，可能失去有效性。作者提出一種 anytime-valid(任時有效)的執行期監控器，從觀測到的閉迴路軌跡對憑證進行稽核，將障壁漂移建構為以回合為單位的逐次假設檢定，其增量構成非負的檢定上鞅，因而在任意停止時間下都能提供有限樣本的誤警控制。該監控器偵測的是憑證不再符合觀測動態的統計證據—而非預測不安全進入—其警報行為亦在有效與無效憑證下接受評估。