أساسيات أنظمة التحكم الذاتية

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

• نمذجة الأنظمة الذاتية الأساسية بطريقة موحدة
• تصميم أجهزة تحكم تفي بمواصفات السلامة والوصول والاستمرارية
• إجراء فحص نماذج للأنظمة المحدودة
• شرح تعبيرات منطق الزمن الخطي والآلتوماتا المرتبطة بها

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