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

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

اسلاید 1: بسمه تعالي

اسلاید 2: طراحي رؤيتگر/کنترل کننده براي سيستمهاي رويداد گسسته با استفاده از پتري نتسمينار درس مدلسازي و شبيه سازيارائه دهنده: وعيد ميگلياستاد درس: دکتر توحيدخواهپاييز 1382

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

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

اسلاید 5: شبکه پتري:يک شبکه place/transition با ساختار که در آن p شامل mعدد مکان و Tشامل n عدد انتقال مي باشد.توابع با مقادير صحيح مثبت پيش تلاقي و پس تلاقي

اسلاید 6: شبکه پتري:يک مثال:Marking: يک بردار صحيح

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

اسلاید 8: شبکه پتري:ماتريس تلاقي شبکه:آتش شدن يک انتقال:فعال بودن يک انتقال:دنباله انتقالات(کلمه):

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

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

اسلاید 11: فيدبک رويداد:

اسلاید 12: فيدبک حالت:

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

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

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

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

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

اسلاید 18: تعريف: مجموعه marking هاي سازگار با wبا شرط macromarking اوليه: تخمين marking به کمک w کران پايين : خطا : حد خطا:

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

اسلاید 20: تخمين اوليه marking :حد خطاي اوليه:

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

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

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

اسلاید 24: خلاصه الگوريتم تخمين:بهبود تخمين قبلي:تخمين جديد:حد خطاي تخمين:

اسلاید 25: خواص الگوريتم: تخمين داده شده حد پايين مقدار واقعي است. خطاي تخمين با افزايش مشاهده کاهش مي يابد

اسلاید 26: فصل سوم ويژگي رؤيت پذيري

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

اسلاید 28: فصل چهارم کنترل با استفاده از رؤيتگر

اسلاید 29: فرضيات: هدف کنترل: حفظ شرطهاي به صورت محدوديت روي تعداد توکنها. کنترل پذيري: مي توان به وسيله کنترل کننده هر انتقال جلوگيري کرد. ورودي کنترل: اگر از انتقال tجلوگيري شود:

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

اسلاید 31: فصل پنجم نتيجه گيري

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

اسلاید 33: پايان

اسلاید 34: گراف پوشايي رؤيتگر

اسلاید 35: گراف دسترس پذيري رؤيت گر