Grundlagen Autonomer Systeme: Modellierung und Sicherheitsnachweis

Der Kurs führt Sie in die grundlegenden Konzepte der Modellierung, Spezifikation und Verifikation von autonomen Systemen mit mathematischen Sicherheitsgarantien ein und zeigt Ihnen, wie Sie diese Konzepten in Ihrem eigenen Projekt anwenden können. Sie lernen, von grundlegenden Systemdefinitionen zur Analyse komplexer, selbsttätiger Verhaltensweisen überzugehen. Was Sie erfahren: 1. Verstehen Sie die grundlegende Terminologie und die Kernarchitektur autonomer Systeme. 2. Modellieren Sie die Systemdynamik mithilfe von Zustandsraumdarstellungen und Übergangsmodellen. 3. Spezifizieren Sie Sicherheits- und Betriebsanforderungen mit Hilfe von formaler Logik. 4. Überprüfen Sie die Systemkorrektheit mit grundlegenden Modellprüf- und Validierungstechniken. 5. Wenden Sie moderne Sicherheitsfilter an, einschließlich Kontrollbarrierefunktionen, um Ausfälle zu vermeiden. 6. Erkunden Sie, wie moderne Komponenten für maschinelles Lernen in sicherheitskritische Pipelines integriert werden. Dieser textbasierte Kurs beginnt mit grundlegenden Definitionen und Regelkonzepten, bevor er zu formalen Spezifikationen und Verifikationsmethoden übergeht. Er ist für Einsteiger in Ingenieurwissenschaften oder Informatik konzipiert und erfordert keinen fortgeschrittenen mathematischen Hintergrund.