
حجم فایل : 462.9 KB
نوع فایل : پاور پوینت
تعداد اسلاید ها : 35
بسمه تعالي طراحي رؤيتگر/کنترل کننده براي سيستمهاي رويداد گسسته با استفاده از پتري نت مباحثي که به تشريح آنها مي پردازيم: مقدمه (تعاريف و مدل رياضي)
تخمين 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)
همه کلمات در تعداد محدودي...