University of Colorado Boulder
Spezialisierung Foundations of Autonomous Systems

Diese spezialisierung ist nicht verfügbar in Deutsch (Deutschland)

Wir übersetzen es in weitere Sprachen.
University of Colorado Boulder

Spezialisierung Foundations of Autonomous Systems

Design Autonomous Systems with Guarantee. Gain the skills to model, specify, verify, and synthesize autonomous systems with guaranteed safety

Majid Zamani

Dozent: Majid Zamani

Befassen Sie sich eingehend mit einem Thema
4.1

(6 Bewertungen)

Stufe Mittel

Empfohlene Erfahrung

4 Monate
Pro Woche 10 Stunden
Flexibler Zeitplan
In Ihrem eigenen Lerntempo lernen
Befassen Sie sich eingehend mit einem Thema
4.1

(6 Bewertungen)

Stufe Mittel

Empfohlene Erfahrung

4 Monate
Pro Woche 10 Stunden
Flexibler Zeitplan
In Ihrem eigenen Lerntempo lernen

Was Sie lernen werden

  • Model basic autonomous systems including linear control systems, sequential circuits, and simple timed automata in a unified manner

  • Synthesize controllers to meet safety, reachability, persistence, and recurrence specifications for finite systems using fixed-point algorithms

  • Conduct model checking for finite systems

  • Describe regular or omega-regular expressions, linear temporal logic formulas, and their corresponding automata representations.

Kompetenzen, die Sie erwerben

  • Kategorie: Barrier Certificates
  • Kategorie: Linear Temporal Logic (LTL)
  • Kategorie: Model Checking
  • Kategorie: Verification Techniques
  • Kategorie: Controller Synthesis
  • Kategorie: Linear Temporal Logic
  • Kategorie: Safety Analysis
  • Kategorie: Reachability Analysis
  • Kategorie: Lyapunov Theories
  • Kategorie: Formal Modeling Framewoks
  • Kategorie: Autonomous Systems Design

Wichtige Details

Erwerben Sie ein Karrierezertifikat.

Zu Ihrem LinkedIn-Profil hinzufügen

Unterrichtet in Englisch
Kürzlich aktualisiert!

Mai 2024

Erfahren Sie, wie Mitarbeiter führender Unternehmen gefragte Kompetenzen erwerben.

Platzhalter

Erweitern Sie Ihre Fachkenntnisse.

  • Erlernen Sie gefragte Kompetenzen von Universitäten und Branchenexperten.
  • Erlernen Sie ein Thema oder ein Tool mit echten Projekten.
  • Entwickeln Sie ein fundiertes Verständnisse der Kernkonzepte.
  • Erwerben Sie ein Karrierezertifikat von University of Colorado Boulder.
Platzhalter
Platzhalter

Erwerben Sie ein Karrierezertifikat.

Fügen Sie diese Qualifikation zur Ihrem LinkedIn-Profil oder Ihrem Lebenslauf hinzu.

Teilen Sie es in den sozialen Medien und in Ihrer Leistungsbeurteilung.

Platzhalter

Spezialisierung - 3 Kursreihen

Was Sie lernen werden

  • Model basic autonomous systems including linear control systems, sequential circuits, and simple timed automata in a unified fashion

  • Describe solutions and behaviors of systems

  • Define and illustrate interconnections between system

Kompetenzen, die Sie erwerben

Kategorie: Systems Composition
Kategorie: Modeling Autonomous Systems
Kategorie: Systems' Behaviors

Was Sie lernen werden

  • Utilize formal methods to specify and verify requirements for autonomous systems.

  • Model system behaviors and verify stability using various analytical methods.

  • Apply reachable set computation and robustness analysis in system design.

Kompetenzen, die Sie erwerben

Kategorie: Regular and Omega-Regular Specifications
Kategorie: Reachability Requirements
Kategorie: Safety Requirements
Kategorie: Linear Temporal Logic Specifications
Kategorie: Stability Requirements

Was Sie lernen werden

  • Analyze stability properties of linear systems

  • Compute over-approximations of reachable sets for some classes of systems

  • Perform model checking for finite systems

  • Synthesize controllers for safety and reachability specifications for finite systems using fixed-point algorithms

Kompetenzen, die Sie erwerben

Kategorie: Model Checking
Kategorie: Synthesis of Finite Abstractions
Kategorie: Systems Relations
Kategorie: Synthesis via Fixed-Points

Dozent

Majid Zamani
University of Colorado Boulder
3 Kurse1.064 Lernende

von

Auf einen Abschluss hinarbeiten

Dieses Spezialisierung ist Teil des/der folgenden Studiengangs/Studiengänge, die von University of Colorado Boulderangeboten werden. Wenn Sie zugelassen werden und sich immatrikulieren, können Ihre abgeschlossenen Kurse auf Ihren Studienabschluss angerechnet werden und Ihre Fortschritte können mit Ihnen übertragen werden.¹

Warum entscheiden sich Menschen für Coursera für ihre Karriere?

Felipe M.
Lernender seit 2018
„Es ist eine großartige Erfahrung, in meinem eigenen Tempo zu lernen. Ich kann lernen, wenn ich Zeit und Nerven dazu habe.“
Jennifer J.
Lernender seit 2020
„Bei einem spannenden neuen Projekt konnte ich die neuen Kenntnisse und Kompetenzen aus den Kursen direkt bei der Arbeit anwenden.“
Larry W.
Lernender seit 2021
„Wenn mir Kurse zu Themen fehlen, die meine Universität nicht anbietet, ist Coursera mit die beste Alternative.“
Chaitanya A.
„Man lernt nicht nur, um bei der Arbeit besser zu werden. Es geht noch um viel mehr. Bei Coursera kann ich ohne Grenzen lernen.“
Platzhalter

Neue Karrieremöglichkeiten mit Coursera Plus

Unbegrenzter Zugang zu über 7.000 erstklassigen Kursen, praktischen Projekten und Zertifikatsprogrammen, die Sie auf den Beruf vorbereiten – alles in Ihrem Abonnement enthalten

Bringen Sie Ihre Karriere mit einem Online-Abschluss voran.

Erwerben Sie einen Abschluss von erstklassigen Universitäten – 100 % online

Schließen Sie sich mehr als 3.400 Unternehmen in aller Welt an, die sich für Coursera for Business entschieden haben.

Schulen Sie Ihre Mitarbeiter*innen, um sich in der digitalen Wirtschaft zu behaupten.

Häufig gestellte Fragen