Abstract:Safety and stability are two primary factors that affect the task execution performance of autonomous underwater vehicles (AUVs), especially when they operate in a disturbed environment. The unknown disturbances and unmodeled dynamics will severely degrade the performance, resulting in unsafe and unstable behaviors. This paper presents a safety-critical control framework for AUVs in the presence of unknown disturbances using a neural network function approximator. The high-order control barrier functions (CBFs) are utilized to address the safe constraints of relative degree two. A nominal controller is designed in which the unknown lumped disturbances are compensated by a radial basis function neural network, thus ensuring that the tracking errors are uniformly ultimately bounded. Besides, the function approximation and the associated bounded approximation errors are adopted to estimate the unknown lumped disturbance terms in the second-order derivative of CBFs, which alleviates the mismatch of the forward invariance condition for the safety set. The minimally invasive quadratic program (QP) is formulated to make minimal sacrifice on the performance of nominal controller. The proposed method encompasses a straightforward structure for disturbance estimation, alongside a highly efficient explicit estimating rule that promotes rapid convergence. Integrated with computationally efficient QP, the proposed method demonstrates substantial promise for realtime implementation. Comparative numerical results with disturbance observer and input-to-state safety-based robust methods reveal an improved trade-off between safety and control performance.

Safe Inputs Approximation for Black-Box Systems

A Formal Characterization of Black-Box System Safety Performance with Scenario Sampling

A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution

Safety of Sampled-Data Systems with Control Barrier Functions via Approximate Discrete Time Models

Safety-Critical Control Synthesis for Unknown Sampled-Data Systems via Control Barrier Functions

PACSBO: Probably approximately correct safe Bayesian optimization

Bayesian Safety Validation for Failure Probability Estimation of Black-Box Systems

Certifiable Deep Importance Sampling for Rare-Event Simulation of Black-Box Systems

Optimized Control Invariance Conditions for Uncertain Input-Constrained Nonlinear Control Systems

Safe Online Dynamics Learning with Initially Unknown Models and Infeasible Safety Certificates

Safety-critical Control for Autonomous Underwater Vehicles with Unknown Disturbance Using Function Approximator

Learning Robust Safety Controllers for Uncertain Input-Affine Polynomial Systems

Safety-Aware Learning-Based Control of Systems with Uncertainty Dependent Constraints (extended version)

Data-Driven Safe Controller Synthesis for Deterministic Systems: A Posteriori Method With Validation Tests

Recursively Feasible Probabilistic Safe Online Learning with Control Barrier Functions

Control Barrier Function Meets Interval Analysis: Safety-Critical Control with Measurement and Actuation Uncertainties

Approximate Predictive Control Barrier Functions using Neural Networks: A Computationally Cheap and Permissive Safety Filter

Event-Triggered Safe Control for the Zero-Sum Game of Nonlinear Safety-Critical Systems With Input Saturation

Automatic nonlinear MPC approximation with closed-loop guarantees

Learning-based Parameterized Barrier Function for Safety-Critical Control of Unknown Systems