TL;DR
- چکیده: در این مقاله، تأیید رسمیاحتمالی سیستمهای دینامیکی تصادفی را در فضاهای حالت پیوسته بررسی میکنیم.
- با انگیزه مشکلات در برآورد حالت و امنیت جریان اطلاعات،.
- مفهوم ویژگیهای مشاهدهای را معرفی میکنیم که استنتاجهایی را که یک ناظر خارجی میتواند از خروجیهای سیستم بگیرد.
چه اتفاقی افتاد
چکیده: در این مقاله، تأیید رسمیاحتمالی سیستمهای دینامیکی تصادفی را در فضاهای حالت پیوسته بررسی میکنیم. با انگیزه مشکلات در برآورد حالت و امنیت جریان اطلاعات،.
مفهوم ویژگیهای مشاهدهای را معرفی میکنیم که استنتاجهایی را که یک ناظر خارجی میتواند از خروجیهای سیستم بگیرد. مشخص میکند.
این ویژگیها بهعنوان ویژگیهای احتمالی مبتنی بر HyperLTL بر روی ردپای محدود،. فرمولبندی میشوند،.
و یک چارچوب یکپارچه ایجاد میکنند که چندین مفهوم موجود را که بهطور جداگانه در ادبیات مطالعه شدهاند،. در بر میگیرد.
ما مشکل راستیآزمایی را به تجزیه و تحلیل دسترسپذیری در یک ساختار تقویتشده کاهش میدهیم که دینامیک سیستم. را با نمایش خودکار مشخصات یکپارچه میکند.
بر اساس این ساخت و ساز،. ما گواهیهای مانع تصادفی را ایجاد میکنیم که تضمینهای احتمالی برای ملک ارائه میکند.
رضایت در عین اجتناب از گسسته سازی صریح فضای حالت. اثربخشی چارچوب پیشنهادی از طریق یک مطالعه موردی نشان داده شده است.
سیستمها و کنترل (eess. SY) استناد بهعنوان: (یا v1 [eess.
SY] برای این نسخه) https:. // شده توسط arXiv از طریق DataCite (در انتظار ثبت نام) تاریخچه ارسال از:.
Bohan Cui [مشاهده ایمیل] [v1] یکشنبه،. 5 آوریل 2026،.
11:. 17:.
20 UTC (124 KB).
چرا مهم است
اهمیت این خبر در این است که روی استفاده واقعی از AI و تصمیمگیری سازمانی اثر میگذارد.
منبع
لینک منبع اصلی در کارت و صفحه مقاله نمایش داده میشود.