AI dan Masalah-Masalah Sulit Dunia · Ilmu komputer teoretis · arXiv · 2026-10-21
Pemantauan Runtime yang Valid Kapan Pun atas Sertifikat Barrier yang Dipelajari
Judul asli: Anytime-Valid Runtime Monitoring of Learned Barrier Certificates
Sertifikat barrier yang dipelajari untuk sistem stokastik dapat kehilangan validitasnya selama deployment ketika dinamika yang mendasarinya berbeda dari pelatihan. Para penulis mengusulkan sebuah monitor runtime anytime-valid yang mengaudit sertifikat dari trajektori closed-loop yang teramati, merumuskan drift barrier sebagai uji hipotesis sekuensial per-episode yang inkrementnya membentuk supermartingale uji nonnegatif, sehingga memberikan kontrol false-alarm finite-sample pada waktu penghentian yang arbitrer. Monitor ini mendeteksi bukti statistik bahwa sertifikat tidak lagi sesuai dengan dinamika yang teramati—bukan memprediksi masuk ke wilayah tidak aman—dan perilaku alarmnya dievaluasi pada sertifikat yang valid maupun tidak valid.