Erreichbarkeitsanalyse ist eine formale Methode zur Verifikation von Sicherheitsspezifikationen für dynamische Systeme mit Unsicherheiten. Die Genauigkeit der berechneten erreichbaren Mengen hängt jedoch stark von der Parametrisierung des Erreichbarkeitsalgorithmus ab. Diese Dissertation präsentiert Methoden für die adaptive Einstellung algorithmischer Parameter für die Erreichbarkeitsanalyse linearer und nichtlinearer gewöhnlicher Differentialgleichungen, womit nun automatisch eine Aussage über die Sicherheit des Systems getroffen werden kann.     «

Erreichbarkeitsanalyse ist eine formale Methode zur Verifikation von Sicherheitsspezifikationen für dynamische Systeme mit Unsicherheiten. Die Genauigkeit der berechneten erreichbaren Mengen hängt jedoch stark von der Parametrisierung des Erreichbarkeitsalgorithmus ab. Diese Dissertation präsentiert Methoden für die adaptive Einstellung algorithmischer Parameter für die Erreichbarkeitsanalyse linearer und nichtlinearer gewöhnlicher Differentialgleichungen, womit nun automatisch eine Aussage über...     »