AI اور دنیا کے مشکل مسائل · نظریاتی کمپیوٹر سائنس · arXiv · 2026-10-21

سیکھے گئے بیریئر سرٹیفکیٹس کی اینی ٹائم ویلیڈ رن ٹائم نگرانی

اصل عنوان: Anytime-Valid Runtime Monitoring of Learned Barrier Certificates

اسٹوکاسٹک نظاموں کے لیے سیکھے ہوئے بیریئر سرٹیفکیٹس تعیناتی کے دوران اپنی افادیت کھو سکتے ہیں جب بنیادی حرکیات تربیت سے مختلف ہوں۔ مصنفین ایک anytime-valid رن ٹائم مانیٹر تجویز کرتے ہیں جو مشاہدہ شدہ کلوزڈ لوپ ٹریجیکٹریز سے سرٹیفکیٹ کا جائزہ لیتا ہے اور بیریئر ڈرفٹ کو ایک episode-wise تسلسلی مفروضہ آزمائش کے طور پر تشکیل دیتا ہے جس کے اضافے ایک غیر منفی ٹیسٹ سپرمارٹنگیل بنتے ہیں، جس سے کسی بھی رکنے کے وقت کے تحت محدود نمونے کے لیے جھوٹے الارم کا کنٹرول حاصل ہوتا ہے۔ مانیٹر اس بات کے شماریاتی ثبوت کا سراغ لگاتا ہے کہ سرٹیفکیٹ اب مشاہدہ شدہ حرکیات سے مطابقت نہیں رکھتا—غیر محفوظ داخلے کی پیش گوئی کرنے کے بجائے—اور درست اور غیر درست سرٹیفکیٹس کے تحت اس کے الارم رویے کا جائزہ لیا گیا۔

اصل تحریر پڑھیں ↗

تمام آئٹمز →