Otonom Sistemlerin Modellenmesi

Bu kurs; sensörler, aktüatörler ve potansiyel olarak iletişim ağlarını içeren her otonom sistemdeki temel yapıyı açıklayacaktır. Ardından, durum-uzay gösterimleri (fark veya diferansiyel denklemler), zamanlı otomatlar (timed automata), hibrit otomatlar ve genel olarak geçiş sistemleri dahil olmak üzere otonom sistemler için kullanılan farklı resmi modelleme çerçevelerini kapsayacaktır. Sistemlerin çözümlerini, davranışlarını ve sistemler arasındaki farklı bağlantıları açıklayacaktır. Bu kurs, Coursera platformunda sunulan CU Boulder'ın Bilgisayar Bilimleri Yüksek Lisans (MS in Computer Science) derecelerinin bir parçası olarak akademik kredi karşılığında alınabilir. Bu tam akredite lisansüstü dereceler; hedef odaklı kurslar, 8 haftalık kısa dönemler ve kullandıkça öde harç imkanı sunar. Kabul, akademik geçmişe değil, üç ön hazırlık kursundaki performansa dayanır. Coursera'daki CU dereceleri, yeni mezunlar veya çalışan profesyoneller için idealdir. Daha fazla bilgi edinin: MS in Computer Science: https://coursera.org/degrees/ms-computer-science-boulder