ترجمه فارسی عنوان مقاله
رویکرد ترمیم مدل به سیستم های رویداد گسسته بهنگام
عنوان انگلیسی
An incremental model repair approach to timed discrete event systems
کد مقاله | سال انتشار | تعداد صفحات مقاله انگلیسی |
---|---|---|
152270 | 2017 | 6 صفحه PDF |
منبع
Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)
Journal : IFAC-PapersOnLine, Volume 50, Issue 1, July 2017, Pages 13636-13641
ترجمه کلمات کلیدی
سیستم های رویداد گسسته، شناسایی سیستم، تعمیر مدل، شب پتری شبکه،
کلمات کلیدی انگلیسی
Discrete-event systems; System identification; Model repair; Time Petri nets;
ترجمه چکیده
نتایج جدید در مورد تعمیر مدل برای سیستم های گسسته گرا، مدل سازی شده به عنوان سیستم های شبکه شب پتری، در این مقاله ارائه شده است. رفتار غیرمنتظره و از دست رفته در مدل اسمی، منجر به رخدادهای مشاهده شده، اما غیر منتظره و مشاهدات رویداد از دست رفته، به عنوان شرایط منطقی صورت می گیرد که می تواند به طور مستقیم به نابرابری های عددی خطی مختلط تبدیل شود. الگوریتم مدل تعمیر، افزایشی است، همچنین زمانی که انحرافات متعدد از رفتار اسمی در یک زمان مشاهده می شود. مجموعه ای از شرایط منطقی به طور پیش فرض از رفتار مشاهده شده ساخته شده است، سپس یک مشکل برنامه ریزی خطی مختلط به منظور تعمیر مدل حل شده است.