Newest papers

Anytime-Valid Runtime Monitoring of Learned Barrier Certificates

Zhipeng Cao, Taoran Wu, Weiru Cui, Luke Ong, Bai Xue · 2026 · Preprints.org

DOI: 10.20944/preprints202610.2093.v1 · cited by 0 works (OpenAlex) · open-access PDF

Vietnamese

Các chứng chỉ rào cản học được cung cấp một cơ chế dữ liệu nguyên tắc để thiết lập sự an toàn của các hệ thống stochastic, nhưng tính hợp lệ của chúng có thể bị suy giảm trong quá trình triển khai khi động lực cơ cơ bản khác với những gì được sử dụng cho đào tạo. Chúng tôi đề xuất một màn hình chạy thời gian có giá trị bất cứ lúc nào kiểm tra một chứng chỉ rào cản học được sử dụng các quỹ đạo vòng khép kín quan sát. màn hình được thiết kế để phát hiện sự mất hỗ trợ thống kê cho tình trạng rào cản được triển khai; nó không tự đảm bảo việc phát hiện trước khi nhập cảnh không an toàn hoặc sự an toàn của sự can thiệp tiếp theo. Đặc biệt, điều kiện rào cản có điều kiện được xây dựng như một thử nghiệm giả thuyết liên tiếp theo giai đoạn, và sự gia tăng rào cản được quan sát được

Machine translation (Meta M2M100); the English original follows.

Abstract

Learned barrier certificates provide a principled mechanism for establishing safety of stochastic systems, but their validity may deteriorate during deployment when the underlying dynamics differ from those used for training. We propose an anytime-valid runtime monitor that audits a learned barrier certificate using observed closed-loop trajectories. The monitor is intended to detect loss of statistical support for the deployed barrier condition; it does not by itself guarantee detection before unsafe entry or safety of a subsequent intervention. Specifically, the conditional barrier-drift condition is formulated as an episode-wise sequential hypothesis test, and observed barrier increments are transformed into a nonnegative test supermartingale, yielding finite-sample false-alarm control under arbitrary stopping times. Inspired by finite-horizon safety verification, we further introduce a deterministic temporal shaping of the monitoring boundary, making the monitor more conservative early in a prescribed deployment horizon while preserving anytime-validity. The monitor is designed to detect statistical evidence that the safety certificate is no longer consistent with the observed dynamics, rather than to predict unsafe entry. To assess the monitor empirically, we evaluate empirical alarm behavior under valid and invalid certificates. Code and data are available at https://github.com/FormalCert-AI/runtime-barrier-monitor.

Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese

Topics: Certificate, Computer science, Software deployment, ALARM, Audit, Control (management)

Sources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange