Robust Safety Filtering for Input-Constrained Underactuated Linear Systems

arXiv:2608.10872v2 Announce Type: replace-cross Abstract: We develop a robust safety filter for input-constrained underactuated linear systems subject to unknown bounded-rate disturbances and structured model uncertainty entering through known distribution channels. A disturbance observer provides an online disturbance estimate and a dynamic estimation-error radius that define the certified uncertainty envelope used in the robust high-order control barrier function constraints. For general polytopic actuator sets, the resulting robust safety-admissible input set is polyhedral, while the shared scalar-input specialization yields an exact interval, a necessary-and-sufficient pointwise feasibility condition, a signed feasibility reserve, and a closed-form safety projection. A domain-wise certificate relates robust HOCBF control demand to available actuator authority, while a finite-horizon energy identity quantifies deviation from the unconstrained $H_\infty$ reference without claiming preservation of its original attenuation level. Across all $16$ structured-uncertainty corners in the linear-model actuator-stress test, the filter remains feasible and safe under $\tau_{\max}=1.18$ N$\cdot$m, with $\max\abs{p}=0.0740$ m, $\max\abs{\theta}=0.205$ rad, $\max\abs{\tau}=1.173$ N$\cdot$m, and $\min\mu_S=7.27\times10^{-3}$ N$\cdot$m.

Abstract:We develop a robust safety filter for input-constrained underactuated linear systems subject to unknown bounded-rate disturbances and structured model uncertainty entering through known distribution channels. A disturbance observer provides an online disturbance estimate and a dynamic estimation-error radius that define the certified uncertainty envelope used in the robust high-order control barrier function constraints. For general polytopic actuator sets, the resulting robust safety-admissible input set is polyhedral, while the shared scalar-input specialization yields an exact interval, a necessary-and-sufficient pointwise feasibility condition, a signed feasibility reserve, and a closed-form safety projection. A domain-wise certificate relates robust HOCBF control demand to available actuator authority, while a finite-horizon energy identity quantifies deviation from the unconstrained $H_\infty$ reference without claiming preservation of its original attenuation level. Across all $16$ structured-uncertainty corners in the linear-model actuator-stress test, the filter remains feasible and safe under $\tau_{\max}=1.18$ N$\cdot$m, with $\max\abs{p}=0.0740$ m, $\max\abs{\theta}=0.205$ rad, $\max\abs{\tau}=1.173$ N$\cdot$m, and $\min\mu_S=7.27\times10^{-3}$ N$\cdot$m.

Systems and Control (eess.SY); Robotics (cs.RO)

arXiv:2608.10872 [eess.SY]

(or arXiv:2608.10872v2 [eess.SY] for this version)

https://doi.org/10.48550/arXiv.2608.10872 Focus to learn more arXiv-issued DOI via DataCite

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

Off-topic for aiqbench

Robust Safety Filtering for Input-Constrained Underactuated Linear Systems

Related coverage