Finite-Data Safety Informativity Under Dynamic Asymmetric Actuation
Abstract
When the system model is not fully known, measurement error and limited excitation can leave several models consistent with the same finite data. A command judged safe for one model may fail for another, while limited control authority can prevent the corrective action needed to preserve safety. To ensure safety under model uncertainty and asymmetric input limits, we develop a finite-data certificate that determines whether a command can enforce a prescribed safety inequality. For a linearly parameterized safety channel with exactly known regressors and bounded aggregate residual error, we derive a support formula for the worst-case safety contribution of all data-consistent models. The formula identifies the regressor directions that admit a finite bound, allowing rank-deficient records to contribute to safety certification. Using certified componentwise bounds on actuator tracking error yields an affine inequality with a necessary and sufficient test for pointwise command feasibility. The affine inequality reduces computation of the closest certified command to a scalar root-finding problem. It also yields a closed-form gate that selects the largest certified fraction of a prescribed command segment. The proposed certificate guarantees output safety within its operating domain, provided the feedback is locally Lipschitz and the uncertainty bounds remain valid. Domain retention and full-state continuation extend this guarantee to all time. A vehicle study demonstrates that output safety can be certified from finite measurements in a safety-critical setting with model and actuator uncertainty.
Related
- Hydrodynamic limits of the asymmetric Brownian energy process and its dynamic generalization
- Asymmetric Periodic Water Waves in Finite Depth
- A dynamic point of view on universality for random matrices over finite local rings
- A continuous-time dynamic contracting problem with limited liability and finite horizon
- Optimal Energy-Norm Convergence for the Dynamic Diffusion Finite Element Method
BibTeX
@misc{sinha2026finitedata,
title = {{Finite-Data Safety Informativity Under Dynamic Asymmetric Actuation}},
author = {Abhinav Sinha and Praveen Kumar Ranjan and Yongcan Cao},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.01820},
eprint = {2610.01820},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.01820},
note = {CC BY-NC-ND 4.0},
}
RIS
TY - UNPB
TI - Finite-Data Safety Informativity Under Dynamic Asymmetric Actuation
AU - Abhinav Sinha
AU - Praveen Kumar Ranjan
AU - Yongcan Cao
PY - 2026
DA - 2026/10/01
PB - arXiv
DO - 10.48550/arxiv.2610.01820
UR - https://arxiv.org/abs/2610.01820
AB - When the system model is not fully known, measurement error and limited excitation can leave several models consistent with the same finite data. A command judged safe for one model may fail for another, while limited control authority can prevent the corrective action needed to preserve safety. To ensure safety under model uncertainty and asymmetric input limits, we develop a finite-data certificate that determines whether a command can enforce a prescribed safety inequality. For a linearly parameterized safety channel with exactly known regressors and bounded aggregate residual error, we derive a support formula for the worst-case safety contribution of all data-consistent models. The formula identifies the regressor directions that admit a finite bound, allowing rank-deficient records to contribute to safety certification. Using certified componentwise bounds on actuator tracking error yields an affine inequality with a necessary and sufficient test for pointwise command feasibility. The affine inequality reduces computation of the closest certified command to a scalar root-finding problem. It also yields a closed-form gate that selects the largest certified fraction of a prescribed command segment. The proposed certificate guarantees output safety within its operating domain, provided the feedback is locally Lipschitz and the uncertainty bounds remain valid. Domain retention and full-state continuation extend this guarantee to all time. A vehicle study demonstrates that output safety can be certified from finite measurements in a safety-critical setting with model and actuator uncertainty.
ER -