Otonom Sistemlerin Temelleri

Bu uzmanlık programı, otonom sistemlerin tasarımı ve analizine kapsamlı bir genel bakış sunar. Sensörler, aktüatörler ve iletişim ağları gibi temel bileşenlerin incelenmesiyle başlar, ardından durum-uzay gösterimleri, zamanlı otomatlar ve hibrit otomatlar gibi resmi modelleme çerçevelerini derinlemesine ele alır. Ardından, kararlılık, erişilebilirlik ve doğrusal zamansal mantık (LTL) formülleriyle çerçevelenmiş spesifikasyonlar dahil olmak üzere sistem gereksinimlerinin resmi modellemesi tartışılır. Lyapunov teorileri ve model kontrolü gibi doğrulama teknikleri incelenir ve ardından sonlu soyutlama oluşturma ve denetleyici hassaslaştırma gibi teknikler kullanılarak belirli özellikleri uygulamak için denetleyicilerin sentezlenmesi üzerine bir bölüm gelir. Bu uzmanlık programındaki dersler, Coursera platformunda sunulan CU Boulder'ın MS in Computer Science derecelerinin bir parçası olarak akademik kredi için alınabilir. Bu tam akredite lisansüstü programlar; hedef odaklı dersler, 8 haftalık kısa dönemler ve kullandıkça öde eğitim ücreti sunar. Kabul, akademik geçmişe değil, üç ön hazırlık dersindeki performansa dayanır. Coursera'daki CU dereceleri, yeni mezunlar veya çalışan profesyoneller için idealdir. Daha fazla bilgi edinin: MS in Computer Science