AI na Matatizo Magumu ya Ulimwengu · Sayansi ya kompyuta ya kinadharia · arXiv · 2026-10-21
Ufuatiliaji wa Runtime wenye Uhalali wa Wakati Wowote wa Vyeti vya Kizuizi Vilivyojifunzwa
Kichwa asilia: Anytime-Valid Runtime Monitoring of Learned Barrier Certificates
Cheti cha kizuizi kilichojifunzwa kwa mifumo ya nasibu kinaweza kupoteza uhalali wake wakati wa utekelezaji pale ambapo mienendo ya msingi inatofautiana na ya mafunzo. Waandishi wanapendekeza kidhibiti cha wakati wa uendeshaji chenye uhalali wa wakati wowote, ambacho hukagua cheti kutokana na trajectory zilizotazamwa za mzunguko uliofungwa, nao huchukua drift ya kizuizi kama jaribio la dhana la mfululizo kwa kipindi-kwa-kipindi ambalo ongezeko lake linaunda supermartingale ya jaribio isiyo na hasi, na hivyo kutoa udhibiti wa onyo la uongo kwenye sampuli finiti chini ya nyakati zozote za kuacha. Kidhibiti hicho kinagundua ushahidi wa kitakwimu kwamba cheti hakiendani tena na mienendo iliyotazamwa—badala ya kutabiri kuingia katika hali isiyo salama—na tabia yake ya onyo ilifanyiwa tathmini chini ya vyeti halali na vyeti batili.