Um autonome Systeme in sicherheitskritischen Anwendungen einsetzen zu können, müssen Sicherheitsgarantien gegeben werden. Die vorliegende Dissertation befasst sich mit dieser Problemstellung, indem sichere Mengen zusammen mit zugehörigen, sicherheitserhaltenden Reglern berechnet werden. Zur effizienten Berechnung solcher Mengen wird skalierbare Erreichbarkeitsanalyse mit konvexer Optimierung kombiniert. Außerdem werden sichere Mengen in robuste, modellprädiktive Regelung und übergeordnete Regelung integriert. Darüber hinaus werden sichere Mengen genutzt, um die Sicherheit autonomer Fahrzeuge schnell online zu verifizieren.     «

Um autonome Systeme in sicherheitskritischen Anwendungen einsetzen zu können, müssen Sicherheitsgarantien gegeben werden. Die vorliegende Dissertation befasst sich mit dieser Problemstellung, indem sichere Mengen zusammen mit zugehörigen, sicherheitserhaltenden Reglern berechnet werden. Zur effizienten Berechnung solcher Mengen wird skalierbare Erreichbarkeitsanalyse mit konvexer Optimierung kombiniert. Außerdem werden sichere Mengen in robuste, modellprädiktive Regelung und übergeordnete Regelu...     »