AI এবং বিশ্বের কঠিন সমস্যাগুলো · তাত্ত্বিক কম্পিউটার বিজ্ঞান · arXiv · 2026-10-21

শেখা ব্যারিয়ার সার্টিফিকেটের অ্যানিটাইম-ভ্যালিড রানটাইম মনিটরিং

মূল শিরোনাম: Anytime-Valid Runtime Monitoring of Learned Barrier Certificates

স্টোকাস্টিক সিস্টেমের জন্য শেখা ব্যারিয়ার সার্টিফিকেটগুলো ডিপ্লয়মেন্টের সময় বৈধতা হারাতে পারে যখন অন্তর্নিহিত ডাইনামিক্স প্রশিক্ষণ থেকে ভিন্ন হয়। লেখকেরা একটি anytime-valid রানটাইম মনিটর প্রস্তাব করেছেন, যা পর্যবেক্ষিত ক্লোজড-লুপ ট্র্যাজেক্টোরি থেকে সার্টিফিকেটটি নিরীক্ষা করে এবং ব্যারিয়ার ড্রিফ্টকে একটি episode-wise ক্রমিক অনুমান-পরীক্ষা হিসেবে সূত্রবদ্ধ করে, যার ইনক্রিমেন্টগুলো একটি অঋণাত্মক টেস্ট সুপারমার্টিঙ্গেল গঠন করে এবং যা arbitrary stopping time-এর অধীনে finite-sample ভুল-সতর্কতা নিয়ন্ত্রণ প্রদান করে। মনিটরটি নিরাপত্তাহীন প্রবেশের পূর্বাভাস দেওয়ার বদলে—সার্টিফিকেটটি আর পর্যবেক্ষিত ডাইনামিক্সের সাথে মেলে না—এমন পরিসংখ্যানগত প্রমাণ শনাক্ত করে, এবং বৈধ ও অবৈধ সার্টিফিকেটের অধীনে এর অ্যালার্ম আচরণ মূল্যায়ন করা হয়েছিল।

মূল লেখা পড়ুন ↗

সব আইটেম →