Abstract:This work is concerned with synthesizing safety controllers for discrete-time nonlinear systems beyond polynomials with unknown mathematical models using the notion of k-inductive control barrier certificates (k-CBCs). Conventional CBC conditions (with k=1) for ensuring safety over dynamical systems are often restrictive, as they require the CBCs to be non-increasing at every time step. Inspired by the success of k-induction in software verification, k-CBCs relax this requirement by allowing the barrier function to be non-increasing over k steps, while permitting k-1 (one-step) increases, each up to a threshold epsilon. This relaxation enhances the likelihood of finding feasible k-CBCs while providing safety guarantees across the dynamical systems. Despite showing promise, existing approaches for constructing k-CBCs often rely on precise mathematical knowledge of system dynamics, which is frequently unavailable in practical scenarios. In this work, we address the case where the underlying dynamics are unknown, a common occurrence in real-world applications, and employ the concept of persistency of excitation, grounded in Willems et al.'s fundamental lemma. This result implies that input-output data from a single trajectory can capture the behavior of an unknown system, provided the collected data fulfills a specific rank condition. We employ sum-of-squares (SOS) programming to synthesize the k-CBC as well as the safety controller directly from data while ensuring the safe behavior of the unknown system. The efficacy of our approach is demonstrated through a set of physical benchmarks with unknown dynamics, including a DC motor, an RLC circuit, a nonlinear nonpolynomial car, and a nonlinear polynomial Lorenz attractor.

Learning Robust Safety Controllers for Uncertain Input-Affine Polynomial Systems

From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems

Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials

Confidence-Aware Safe and Stable Control of Control-Affine Systems

Performance-Guaranteed Fault-Tolerant Control for Uncertain Nonlinear Systems via Learning-Based Switching Scheme

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

Safe and Stable Control Synthesis for Uncertain System Models via Distributionally Robust Optimization

Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions

Towards Robust Data-Driven Control Synthesis for Nonlinear Systems with Actuation Uncertainty

Robust Control Barrier Functions with Uncertainty Estimation

Synthesis and verification of robust-adaptive safe controllers

Robust Control Barrier Functions for Safe Control Under Uncertainty Using Extended State Observer and Output Measurement

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

Event-Triggered Safety-Critical Control for Systems with Unknown Dynamics

Adaptive Robust Model Predictive Control via Uncertainty Cancellation

Learning-Based Safety-Stability-Driven Control for Safety-Critical Systems under Model Uncertainties.

Learning-Based Safety-Stability-Driven Control for Safety-Critical Systems under Model Uncertainties

Robust Control Barrier Functions using Uncertainty Estimation with Application to Mobile Robots

Safety Barrier Certificates for Stochastic Hybrid Systems

Robust Adaptive Control of Nonlinear Systems with Uncertainties

Learning a Better Control Barrier Function Under Uncertain Dynamics