مقاله نظارت زمان اجرا مبتنی بر بینایی با مشخصات متغیر با استفاده از نمایش‌های پنهان معنایی
,

مقاله نظارت زمان اجرا مبتنی بر بینایی با مشخصات متغیر با استفاده از نمایش‌های پنهان معنایی

تومان249,950

ما پایش زمان اجرای تایید شده منطق زمانی گذشته (ptSTL) را از مشاهدات بصری تحت مشاهده‌پذیری جزئی مطالعه می‌کنیم. پایشگر باید مقادیر مرتبط با ایمنی را از تصاویر استنتاج کرده و تضمین‌های نمونه محدود ارائه…

انتخاب پلن

torobpay
هر قسط با ترب‌پی: تومان62,488
۴ قسط ماهانه. بدون سود، چک و ضامن.
شناسه محصول: SuperPaper-0000000283 دسته: ,

📚 محتوای این محصول آموزشی (پکیج کامل)

💡 این محصول یک نسخهٔ کامل و جامع است

تمامی محتوای آموزشی این کتاب در قالب یک بسته‌ی کامل و یکپارچه ارائه می‌شود و شامل تمام نسخه‌ها و فایل‌های موردنیاز برای یادگیری است.

🎁 محتویات کامل بسته دانلودی

🎯 این بسته یک دورهٔ آموزشی کامل و چندلایه است؛ شامل کتاب‌ها، تمرین‌ها و خودآزمایی .

ℹ️ نکات مهم هنگام خرید

  • این محصول به صورت فایل دانلودی کامل ارائه می‌شود و نسخهٔ چاپی ندارد.
  • توجه: لینک‌های اختصاصی دوره طی حداکثر 24 ساعت پس از ثبت سفارش ارسال می‌شوند.
  • دقت کنید لینک ها به شماره موبایل شما ارسال می شوند. پس در ارائه شماره موبایل صحیح دقت کنید.
  • برای راهنمایی در مورد نحوه دانلود به شماره 09395106248 پیامک دهید یا تماس بگیرید. (ایده آل ترین گزینه ارسال پیام در یکی از پیام رسان ها به همین شماره است تا سریعا لینک های کتاب همانجا برای شما ارسال گردد.)
  • اگر پرداخت انجام شده ولی بعد از 24 ساعت هنوز لینک‌ها را دریافت نکرده‌اید، نام و نام خانوادگی و نام محصول را پیامک کنید تا لینک‌ها دوباره ارسال شوند.

💬 راه‌های ارتباطی پشتیبانی:
واتس‌اپ یا هر پیام رسان داخلی یا پیامک: 09395106248
تلگرام: @ma_limbs

نظارت زمان اجرا مبتنی بر بینایی با مشخصات متغیر با استفاده از نمایش‌های پنهان معنایی

Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations

نویسندگان: Bardh Hoxha, Oliver Schön, Hideki Okamoto, Lars Lindemann, Georgios Fainekos

شناسه منبع: arxiv / 2605.13923v1

دسته: cs.LG,cs.CV,cs.RO,eess.SY

چکیده (فارسی)

ما پایش زمان اجرای تایید شده منطق زمانی گذشته (ptSTL) را از مشاهدات بصری تحت مشاهده‌پذیری جزئی مطالعه می‌کنیم. پایشگر باید مقادیر مرتبط با ایمنی را از تصاویر استنتاج کرده و تضمین‌های نمونه محدود ارائه دهد، در حالی که **قابل استفاده مجدد** باشد: پس از آموزش و کالیبراسیون، باید هر فرمولی را در یک قطعه هدف بدون نیاز به آموزش مجدد برای هر فرمول، تایید کند. برای قطعاتی که توسط مجموعه‌ای محدود از اتم‌های زمانی ایجاد می‌شوند، اثبات می‌کنیم که **پایه معنایی** (بردار امتیازهای استحکام اتم‌ها) حداقل هدف پیش‌بینی در کلاس رابط‌های قابل استفاده مجدد یکنواخت و ۱-لیپ‌شیتز است: هر فرمول توسط یک رمزگشای قطعی مشتق شده از درخت تجزیه ارزیابی می‌شود و یک مرحله کالیبراسیون هم‌شکل، کل قطعه را بدون نیاز به کران اجتماع تایید می‌کند. ما همچنین یک **پایشگر پیش‌بینی غلتان** معرفی می‌کنیم که فقط مقادیر گزاره فعلی را پیش‌بینی کرده و تاریخچه زمانی را به صورت آنلاین بازسازی می‌کند؛ یادگیری این پایشگر آسان‌تر است اما در افق‌های زمانی طولانی محافظه‌کارانه عمل می‌کند. در یک معیار پیاده‌رو-چهارراه، پایشگر غلتان در افق‌های زمانی کوتاه، کران‌های تایید شده تنگ‌تری به دست می‌آورد، در حالی که پایشگر پایه معنایی در افق‌های زمانی طولانی تا ۴ برابر تنگ‌تر است. ما پایشگرهای ارائه شده را بر روی داده‌های واقعی رانندگی Waymo اعتبارسنجی می‌کنیم، جایی که هر دو پایشگر به طور تجربی تضمین پوشش هم‌شکل را برآورده می‌کنند.

Abstract (English)

We study certified runtime monitoring of past-time signal temporal logic (ptSTL) from visual observations under partial observability. The monitor must infer safety-relevant quantities from images and provide finite-sample guarantees, while being emph{reusable}: once trained and calibrated, it should certify any formula in a target fragment without per-formula retraining. For fragments induced by a finite dictionary of temporal atoms, we prove that the emph{semantic basis}, the vector of atom robustness scores, is the minimum prediction target within the class of monotone, 1-Lipschitz reusable interfaces: any formula is evaluated by a deterministic decoder derived from the parse tree, and a single conformal calibration pass certifies the entire fragment with no union bound. We also introduce a emph{rolling prediction monitor} that predicts only current predicate values and reconstructs temporal history online; this is easier to learn but grows conservative at long horizons. On a pedestrian-crossroad benchmark, rolling achieves tighter certified bounds at short horizons while the semantic-basis monitor is up to 4-times tighter at long horizons. We validate the presented monitors on real-world Waymo driving data, where both monitors satisfy the conformal coverage guarantee empirically.

دیدگاهها

هیچ دیدگاهی برای این محصول نوشته نشده است.

اولین نفری باشید که دیدگاهی را ارسال می کنید برای “مقاله نظارت زمان اجرا مبتنی بر بینایی با مشخصات متغیر با استفاده از نمایش‌های پنهان معنایی”

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *

محصولات مشابه

پیمایش به بالا