التحقق والتركيب للأنظمة الذاتية

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

• تحليل خصائص الاستقرار للأنظمة الخطية
• حساب تقريبات مجموعات الوصول للأنظمة
• إجراء التحقق من النماذج للأنظمة المنتهية
• تصميم متحكمات لضمان السلامة ومتطلبات الوصول

• معرفة أساسية بالأنظمة الخطية والخوارزميات