پاورپوینت طراحی رویتگر کنترل کننده برای سیستمهای رویداد گسسته با استفاده از پتری نت

بسمه تعالی

طراحی رویتگر/کنترل کننده برای سیستمهای رویداد گسسته با استفاده از پتری نت

مباحثی که به تشریح آنها می پردازیم:
مقدمه (تعاریف و مدل ریاضی)
تخمین Marking با مشاهده رویدادها
ویژگی رویت پذیری
کنترل با استفاده از رویتگر
نتیجه گیری

فصل اول: مقدمه
شبکه پتری
مفاهیم اولیه در کنترل حلقه بسته
خواص رویت پذیری
روش تشریح شده

شبکه پتری:
یک شبکه place/transition با ساختار

که در آن p شامل mعدد مکان و Tشامل n عدد انتقال می باشد.

توابع با مقادیر صحیح مثبت پیش تلاقی و پس تلاقی

شبکه پتری:
یک مثال:

Marking: یک بردار صحیح

شبکه پتری:
حالت شبکه پس از وقوع انتقال t1

شبکه پتری:
ماتریس تلاقی شبکه:

آتش شدن یک انتقال:

فعال بودن یک انتقال:

دنباله انتقالات(کلمه):

شبکه پتری:
یک شبکه با شرط اولیه:
اعمال یک کلمه بر سیستم:
زبان شبکه:
Marking دسترس پذیر:

مفاهیم اولیه در کنترل حلقه بسته:
فیدبک رویداد
فیدبک حالت
فیدبک حالت با مشاهده رویدادها و دانستن
شرط اولیه
فیدبک حالت با تخمین حالت

فیدبک رویداد:

فیدبک حالت:

فیدبک حالت با مشاهده رویدادها و دانستن شرط اولیه

فیدبک حالت با تخمین حالت:

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

فصل دوم
تخمین Marking
با
مشاهده رویدادها

فرضیات:
ساختار شبکه معلوم است ولی Marking اولیه نامعلوم است.
جمع marking اولیه برخی زیرمجموعه های مکانها معلوم است (مجموعه V). (macromarking)
آتش شدن انتقالات قابل مشاهده می باشد.

تعریف:
مجموعه marking های سازگار با wبا شرط macromarking اولیه:

تخمین marking به کمک w
کران پایین :
خطا :
حد خطا:

ایده اصلی با یک مثال
اطلاعات اولیه:
Marking اولیه:

تخمین اولیه marking :

حد خطای اولیه:

فرض می کنیم ابتدا t1 آتش شود:
ارتقاء تخمین قبلی چون t1 فعال بوده:

تخمین و حد خطای جدید حاصل انتقال t1 :

حال فرض کنید t2 آتش شود:
اطلاعات حالتها افزایش نمی یابد

خلاصه الگوریتم تخمین:
بهبود تخمین قبلی:

تخمین جدید:

حد خطای تخمین:

خواص الگوریتم:
تخمین داده شده حد پایین مقدار واقعی است.

خطای تخمین با افزایش مشاهده کاهش می یابد

فصل سوم ویژگی رویت پذیری

خواص رویت پذیری:
کلمه کامل
وجود حداقل یک کلمه کامل Marking Observeability (MO)
همه کلمات در تعداد محدودی کامل شدنی باشند.
Strong MO (SMO)
گراف پوشایی رویت گر ابزار تشخیص خواص رویت پذیری

فصل چهارم کنترل با استفاده از رویتگر

فرضیات:
هدف کنترل: حفظ شرطهای به صورت محدودیت روی تعداد توکنها.

کنترل پذیری: می توان به وسیله کنترل کننده هر انتقال جلوگیری کرد.
ورودی کنترل:
اگر از انتقال tجلوگیری شود:

خلاصه الگوریتم کنترل:
از آتش شدن انتقال t جلوگیری می شود اگر:
یک marking سازگار وجود داشته

باشد که و

فصل پنجم نتیجه گیری

در این سمینار موارد زیر ارائه شدند.
انواع کنترل مرسوم در شبکه های پتری
روش طراحی رویتگر حالت از مشاهده رویدادها بدون دانستن حالت اولیه
طراحی کنترلر با کمک نتایج رویتگر حالت

پایان

گراف پوشایی رویتگر

گراف دسترس پذیری رویت گر