نوع power point
قابل ویرایش اسلاید
قسمتی اسلایدها
مفاهیم اولیه کنترل حلقه بسته:
فیدبک رویداد
فیدبک حالت
فیدبک حالت مشاهده رویدادها دانستن
شرط اولیه
فیدبک حالت تخمین حالت
روش تشریح شده:
ساختار شبکه معلوم است.
marking اولیه نامعلوم است.
الگوریتمی ارائه می شود یک رؤیتگر تشکیل می دهد تخمین marking محاسبه می کند حد پایین برای مقدار واقعی آن می باشد. همچنین حد خطای تخمین نیز محاسبه می شود.
تخمین Marking مشاهده رویدادها
فرضیات:
ساختار شبکه معلوم است ولی Marking اولیه نامعلوم است.
جمع marking اولیه برخی زیرمجموعه های مکانها معلوم است (مجموعه V). (macromarking)
آتش شدن انتقالات قابل مشاهده می باشد.
فهرست مطالب اسلایدها
مقدمه (تعاریف مدل ریاضی)
تخمین Marking مشاهده رویدادها
ویژگی رؤیت پذیری
کنترل استفاده رؤیتگر
نتیجه گیری