أسس الأنظمة الذاتية: النمذجة والتحقق من السلامة

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