Çevrimiçi kurs – otonom Google sistemlerinde sertifikalı profesyonel uzmanlık, Colorado Boulder Üniversitesi

Garantili otonom sistemler tasarlayın. Otonom sistemleri garantili güvenlikle modelleme, spesifikasyon, doğrulama ve sentezleme becerilerini edinin.

Suggested by: Coursera (What is Coursera?)

Professional Certificate

Orta seviye

No prior knowledge required

Time to complete the course

7-day free trial

No unnecessary risks

Skills you will acquire in the course

  • Otonom sistemlerin tasarımı ve analizi
  • Durum uzayı gösterimleri
  • Otomatik zamanlayıcılar
  • Hibrit otomatikler
  • Sistem gereksinimlerinin resmi modelleri
  • istikrar ve ulaşılabilirlik
  • Doğrusal zamansal mantık formülleriyle tanımlanan özellikler
  • Lyuponov teoremleri ve model kontrolü gibi doğrulama teknikleri
  • Tanımlanmış özellikleri uygulamak için denetleyicilerin sentezi
  • Son bir soyutlama oluşturma ve denetleyicileri iyileştirme

What you will learn in the course

Courses for which the course is suitable

  • Otonom sistem mühendisi
  • Otonom sistemler alanında yazılım geliştiricisi
  • sistem analisti
  • Kontrolör mühendisi
  • Sistem doğrulama uzmanı
  • Otonom sistemler alanında araştırmacı
  • Akıllı sistem tasarımcısı
  • Otonom sistemlerde iletişim ağı mühendisi
  • Hibrit otomatlar için algoritmalar geliştirir
  • Otonom sistemlerde kararlılık ve kullanılabilirlik konusunda uzman

Uzmanlık – 3 bölümlük kurs serisi

Bu uzmanlık, otonom sistemlerin tasarımı ve analizine kapsamlı bir genel bakış sağlar. Sensörler, aktüatörler ve iletişim ağları gibi temel bileşenlerin incelenmesiyle başlar ve daha sonra resmi modellerin derinliklerine inilir.

Kurs içeriği

  • Durum uzayı gösterimleri
  • Otomatik zamanlayıcılar
  • Hibrit otomatikler
  • Sistem gereksinimlerinin resmi modelleri
  • istikrar ve ulaşılabilirlik
  • Doğrusal zamansal mantık formülleriyle tanımlanan özellikler
  • Lyuponov teoremleri ve model kontrolü gibi doğrulama teknikleri
  • Tanımlanmış özellikleri uygulamak için denetleyicilerin sentezi
  • Son bir soyutlama oluşturma ve denetleyicileri iyileştirme

Daha fazla bilgi

Bu uzmanlıktaki dersler, Coursera platformunda sunulan CU Boulder Bilgisayar Bilimleri Yüksek Lisans programının bir parçası olarak akademik kredi için alınabilir. Bu ileri dereceler, odaklanmış kurslar, 8 haftalık kısa oturumlar ve kullandıkça öde sistemi sunar.

Programa kabul, akademik geçmişe değil, üç önkoşullu dersteki performansa dayanmaktadır. Coursera’daki CU dereceleri yeni mezunlar veya çalışan profesyoneller için idealdir.

Daha fazla ayrıntı için: Bilgisayar bilimleri alanında yüksek lisans derecesi

Pratik bir öğrenme projesi

Staj sırasında öğrenciler otonom sistemleri ve davranışlarını tasarlama ve analiz etme görevlerini yerine getireceklerdir. Otonom sistemlerin uzmanlaşması, doğrulanması ve sentezi konusundaki üçüncü derste öğrencilere isteğe bağlı bir araştırma laboratuvarı verilecek.

Details of the courses that make up the specialization

Otonom sistem modelleri

Kurs 1 – 8 saat

Ne öğreneceksiniz:

  • Doğrusal kontrol sistemleri, seri devreler ve basit otomatlar dahil olmak üzere otonom sistemlerin temel modelleri.
  • Sistemlerin çözümlerini ve davranışlarını tanımlar.
  • Sistemler arasındaki bağlantıları tanımlayın ve gösterin.

Kazanacağınız beceriler:

  • Montaj sistemleri
  • Otonom sistem modelleri
  • sistemlerin davranışları

Kurs 2 – 10 saat

Ne öğreneceksiniz:

  • Otonom sistemlere yönelik gereksinimleri belirlemek ve doğrulamak için resmi yöntemleri kullanın.
  • Sistem davranışlarını modellemek ve farklı analitik yöntemler kullanarak kararlılığı doğrulamak.
  • Erişilebilirlik gruplarının hesaplanmasını ve direnç analizini sistem tasarımında uygulayın.

Kazanacağınız beceriler:

  • Düzenli ve düzenli omega spesifikasyonları
  • Erişilebilirlik gereksinimleri
  • güvenlik gereksinimleri
  • Doğrusal mantık özellikleri
  • stabilite gereksinimleri

Kurs 3 – 10 saat

Ne öğreneceksiniz:

  • Doğrusal sistemlerin kararlılık özelliklerini analiz eder.
  • Çeşitli sistem türleri için erişilebilirlik gruplarına ilişkin hesaplamalar yapın.
  • Nihai sistemler için doğrulama gerçekleştirin.
  • Sabit nokta algoritmalarını kullanarak güvenlik ve erişilebilirlik gereksinimleri için denetleyici dinamiklerini sentezleyin.

Kazanacağınız beceriler:

  • Model testleri
  • Sonlu Basitleştirmelerin Sentezi
  • Sistemler arasındaki ilişkiler
  • Sabit noktaları kullanarak sentez