Finite-Data Safety Informativity: Ein datenbasiertes Zertifikat für Ausgangssicherheit unter asymmetrischer Aktuatorik
Der vorliegende Preprint entwickelt ein deterministisches Zertifikat, das aus endlichen Messungen entscheidet, ob ein Kommando eine Safety-Ungleichung trotz Modellunsicherheit und asymmetrischer, dynamisch realisierter Stellgrenzen einhält. Kern ist eine Stützformel für den Worst-Case-Beitrag aller datenkonsistenten Modelle sowie eine affine Machbarkeitsbedingung mit Projektion und Freigabe-Gate. In einer Fahrzeugsimulation steigt die zertifizierte Abdeckung durch gezielte Messauswahl bei identischer Datensatzgröße von 1,03 % auf 76,27 %.