Safety-critical controlExpert
Finite-Data Safety Informativity Under Dynamic Asymmetric Actuation
This preprint presents a finite-data safety certificate that checks whether a commanded input can keep a partially unknown nonlinear system within prescribed output bounds even when actuators have asymmetric limits and bounded tracking error. In a simulated vehicle-tracking study, a data-selection strategy produced certificates at 76.27% of 11,241 validation queries, versus 32.09% for uniformly sampled and 1.03% for consecutively sampled records, and an exact-parameter benchmark reached 86.26%. The work matters because it gives a deterministic, model-uncertainty-aware safety filter for high-assurance control where a reliable dynamics model is unavailable.