Data-Driven Time-Varying Control Barrier Functions for Adaptive Safe-Set Learning with Online Decremental Support Vector Machines
Shawon Dey, Michael Budihartono, Hever Moncayo
Abstract
Mission-critical intelligent systems often operate under time-varying limitations that reduce control authority and change the admissible safe operating envelope. In such settings, a safety certificate learned under nominal conditions may become invalid as system capability changes. To address this challenge, this paper proposes a degradation-aware, data-driven safety-filtering framework that learns a safe set from data, updates it online, and enforces the resulting learned barrier through a time-varying control barrier function (CBF). A nominal safe envelope is first learned from operational data using a radial basis function (RBF)-kernel support vector machine (SVM), whose decision function serves as the initial CBF candidate. To capture capability-induced safe-set contraction, a continuous-time decremental SVM update law is developed so that selected support-vector coefficients are reduced according to a degradation signal. A homotopy-smoothed SVM-CBF is then introduced to avoid discontinuous changes in the learned barrier during active-set transitions. The resulting time-varying learned barrier is enforced using a quadratic-program-based safety filter under degraded input constraints. Forward invariance of the learned time-varying safe set and recursive feasibility of the safety filter are established. Simulation results on a vertical takeoff and landing (VTOL) model show that the proposed method maintains safety under reduced control authority and avoids abrupt barrier-switching effects during safe-set contraction.
Create a lesson
Related papers
From powder to part: influence of virgin and recovered Inconel 625 powders on the DED-LP processability, microstructure and mechanical properties
Romain Deloffre, Lorène Héraud, Julie Lartigau
Piezoelectric Energy Harvesting from a Pitch-Plunge Aerofoil in Compressible Flow, the Euler Full-Order Model, Strip Theory and the Reduced Models Compared
Nikolaos D. Tantaroudas, Ilias Karachalios, Andrew J. McCracken
A Bayesian Model Updating Framework for Systems Under Hybrid Uncertainties via Probability Integral Transform and Maximum Mean Discrepancy
Shijie Zhong, Jiangfeng Fu
The Exact Approximation Ratio of Uniformly Rotated Coordinate-wise Median in the Euclidean Plane
Song Zichen
Research on the Price Prediction Algorithms of Major Cryptocurrencies and a Basic Transaction Framework
Shengjian Chen
Quantum Block Encodings for Periodic Two-Phase Finite Element Operators: 2D Poisson and 2D Elasticity
Krishnan Suresh