دانلود مقاله ISI انگلیسی شماره 152270
ترجمه فارسی عنوان مقاله

رویکرد ترمیم مدل به سیستم های رویداد گسسته بهنگام

عنوان انگلیسی
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;
ترجمه چکیده
نتایج جدید در مورد تعمیر مدل برای سیستم های گسسته گرا، مدل سازی شده به عنوان سیستم های شبکه شب پتری، در این مقاله ارائه شده است. رفتار غیرمنتظره و از دست رفته در مدل اسمی، منجر به رخدادهای مشاهده شده، اما غیر منتظره و مشاهدات رویداد از دست رفته، به عنوان شرایط منطقی صورت می گیرد که می تواند به طور مستقیم به نابرابری های عددی خطی مختلط تبدیل شود. الگوریتم مدل تعمیر، افزایشی است، همچنین زمانی که انحرافات متعدد از رفتار اسمی در یک زمان مشاهده می شود. مجموعه ای از شرایط منطقی به طور پیش فرض از رفتار مشاهده شده ساخته شده است، سپس یک مشکل برنامه ریزی خطی مختلط به منظور تعمیر مدل حل شده است.
پیش نمایش مقاله
پیش نمایش مقاله  رویکرد ترمیم مدل به سیستم های رویداد گسسته بهنگام

چکیده انگلیسی

New results on the model repair for timed discrete systems, modeled as Time Petri net systems, are presented in this paper. Unexpected and missed behavior in the nominal model, leading to observed but unexpected events and missed event observations, are formulated as logical conditions that can be directly transformed into linear mixed-integer inequalities. The repair model algorithm is incremental, also when multiple deviations from the nominal behavior are observed at a time. A set of logical conditions is preliminarily built from the observed behavior, then a mixed-integer linear programming problem is solved to repair the model.