AI और दुनिया की कठिन समस्याएँ · सैद्धांतिक कंप्यूटर विज्ञान · arXiv · 2026-10-21

सीखे गए बैरियर सर्टिफिकेट्स की एनीटाइम-वैलिड रनटाइम मॉनिटरिंग

मूल शीर्षक: Anytime-Valid Runtime Monitoring of Learned Barrier Certificates

स्टोकैस्टिक सिस्टमों के लिए सीखे गए बैरियर सर्टिफिकेट तैनाती के दौरान अमान्य हो सकते हैं जब अंतर्निहित गतिकी प्रशिक्षण से भिन्न हो। लेखक एक एनीटाइम-वैलिड रनटाइम मॉनिटर प्रस्तावित करते हैं जो प्रेक्षित क्लोज़्ड-लूप ट्रैजेक्टरीज़ से सर्टिफिकेट का ऑडिट करता है, तथा बैरियर ड्रिफ़्ट को एक एपिसोड-वार अनुक्रमिक परिकल्पना परीक्षण के रूप में रूपांतरित करता है जिसकी वृद्धियाँ एक अऋणात्मक टेस्ट सुपरमार्टिंगेल बनाती हैं, जिससे मनमाने स्टॉपिंग टाइमों के अंतर्गत फ़ाइनाइट-सैंपल फ़ॉल्स-अलार्म नियंत्रण प्राप्त होता है। यह मॉनिटर इस बात के सांख्यिकीय प्रमाण का संसूचन करता है कि सर्टिफिकेट अब प्रेक्षित गतिकी से मेल नहीं खाता—असुरक्षित प्रवेश की भविष्यवाणी करने के बजाय—और वैध तथा अवैध सर्टिफिकेट के अंतर्गत इसके अलार्म व्यवहार का मूल्यांकन किया गया।

मूल लेख पढ़ें ↗

सभी आइटम →