آموزش تأیید و سنتز سیستم‌های خودمختار

دانلود Verification and Synthesis of Autonomous Systems

آموزش تکنیک‌های تأیید سیستم‌های خودمختار شامل تحلیل پایداری، مدل‌بررسی و سنتز کنترل‌کننده برای بهینه‌سازی سیستم‌های پیچیده.

برای دریافت و مشاهده جزییات بیشتر این دوره کلیک کنید