Grundlagen Autonomer Systeme: Verifikation und Synthese

Die Entwicklung autonomer Systeme wie selbstfahrender Fahrzeuge und robotischer Assistenten erfordert absolute Sicherheit, dass sie sich in unvorhersehbaren Umgebungen sicher verhalten. Dieser textbasierte Kurs führt Sie in die Grundprinzipien der formalen Verifikation und der Reglersynthese ein, um sicherzustellen, dass Ihre autonomen Designs strenge Sicherheits- und Stabilitätsstandards erfüllen.Sie werden vom einfachen Testen autonomer Systeme zum mathematischen Nachweis ihrer Korrektheit übergehen. Durch das Verständnis, wie Systemdynamik modelliert und Sicherheitseigenschaften ausgedrückt werden, erwerben Sie die Fähigkeiten, die zum Entwerfen von Reglern erforderlich sind, die einen sicheren Betrieb unter verschiedenen Bedingungen gewährleisten. Was Sie lernen werden: Verstehen Sie die grundlegende Systemdynamik und wie Sie autonomes Verhalten mathematisch modellieren können; Anwenden der Lyapunov-Stabilitätstheorie, um die langfristigen stationären Zustände dynamischer Systeme zu überprüfen; Analysieren Sie die Erreichbarkeit und verwenden Sie Barriere-Zertifikate, um sicherzustellen, dass sicherheitskritische Grenzen niemals überschritten werden; Erkunden Sie die formale Modellprüfung Techniken zur Verifizierung von Systemen gegen regelmäßige und omega-reguläre zeitliche Eigenschaften; Synthetisieren Sie korrekte Konstruktionscontroller, die automatisch die gewünschten Sicherheitsrichtlinien durchsetzen; Untersuchen Sie moderne Sicherheitsherausforderungen, einschließlich der Verifizieren von Systeme, die lernenfähige Komponenten und neuronale Netze enthalten. Der Kurs beginnt mit der grundlegenden mathematischen Terminologie und der grundsätzlichen Systemmodellierung, bevor Sie durch Stabilitätsanalyse, formale Verifikationsalgorithmen und Steuerungssynthesetechniken geführt werden. Dieser Kurs richtet sich an angehende Robotik-Ingenieure, Informatiker und Systementwickler, die einen zugänglichen Einstieg in formale Methoden suchen, für die nur ein grundlegender mathematischer Hintergrund erforderlich ist.Lesen Sie noch heute, um die mathematical foundations of safe autonomy zu beherrschen.