التحقق الكمي من النماذج لسلاسل ماركوف

يُقدم هذا المساق تقنيات متقدمة للتحقق الكمي من النماذج باستخدام سلاسل ماركوف المُدمجة في العديد من أنظمة التكنولوجيا الحديثة مثل الأنظمة المدمجة، الأنظمة السيبر-فيزيائية، بروتوكولات الاتصال، وأنظمة النقل. يبدأ المساق بإنشاء نظام انتقال الحالة كنموذج أساسي لفهم ديناميكيات الأنظمة الحقيقية. ثم يتعمق في سلاسل ماركوف ذات الزمن المتقطع والمستمر، وهي أدوات رياضية قوية تستخدم في تقييم الأداء والموثوقية. يتم التركيز على التحقق من خصائص الاعتمادية وتتبع تطور النماذج عبر الزمن باستخدام خوارزميات حسابية متقدمة، مع تقييم حالات تحقق المعايير المحددة وحساب مجموع الخصائص المطلوبة.

• صياغة خصائص الاعتمادية وتتبع تطور سلاسل ماركوف
• التحقق من استيفاء الحالات لشروط محددة باستخدام الخوارزميات
• فهم التطور الزمني لسلاسل ماركوف
• حساب مجموعة الرضا لخصائص متعددة

• فهم أساسي للموضوع ومصطلحاته
• الاستعداد لممارسة التمارين التطبيقية