Abstract:The problem of safely learning and controlling a dynamical system - i.e., of stabilizing an originally (partially) unknown system while ensuring that it does not leave a prescribed 'safe set' - has recently received tremendous attention in the controls community. Further complexities arise, however, when the structure of the safe set itself depends on the unknown part of the system's dynamics. In particular, a popular approach based on control Lyapunov functions (CLF), control barrier functions (CBF) and Gaussian processes (to build confidence set around the unknown term), which has proved successful in the known-safe set setting, becomes inefficient as-is, due to the introduction of higher-order terms to be estimated and bounded with high probability using only system state measurements. In this paper, we build on the recent literature on GPs and reproducing kernels to perform this latter task, and show how to correspondingly modify the CLF-CBF-based approach to obtain safety guarantees. Namely, we derive exponential CLF and second relative order exponential CBF constraints whose satisfaction guarantees stability and forward in-variance of the partially unknown safe set with high probability. To overcome the intractability of verification of these conditions on the continuous domain, we apply discretization of the state space and use Lipschitz continuity properties of dynamics to derive equivalent CLF and CBF certificates in discrete state space. Finally, we present an algorithm for the control design aim using the derived certificates.

PAC-Bayesian-Like Error Bound for a Class of Linear Time-Invariant Stochastic State-Space Models

PAC-Bayesian bounds for learning LTI-ss systems with input from empirical loss

Memoryless stabilization of uncertain linear systems with time-varying state and control delays

Delay-Dependent Robust Stabilizing Control Law Design for a Class of Uncertain Time-Delay Systems

A Memoryless Robust Stabilizing Controller for a Class of Uncertain Linear Time-Delay Systems

Robust control for a class of uncertain time-varying time-delay systems with actuator limit

A finite-sample generalization bound for stable LPV systems

PAC bounds of continuous Linear Parameter-Varying systems related to neural ODEs

PAC-Bayes Generalisation Bounds for Dynamical Systems Including Stable RNNs

Stability Bounds for Learning-Based Adaptive Control of Discrete-Time Multi-Dimensional Stochastic Linear Systems with Input Constraints

Error Bounds in Nonlinear Model Predictive Control with Linear Differential Inclusions of Parametric-Varying Embeddings

Finite-time L2−l∞ Tracking Control for Markov Jump Repeated Scalar Nonlinear Systems with Partly Usable Model Information

Stochastic Error Bounds in Nonlinear Model Predictive Control with Gaussian Processes via Parameter-Varying Embeddings

Mean-square boundedness of stochastic networked control systems with bounded control inputs

Non-Asymptotic Bounds for Closed-Loop Identification of Unstable Nonlinear Stochastic Systems

Linear State-Space Model with Time-Varying Dynamics

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

Control of Discrete-Time LTI Systems using Stochastic Ensemble Systems

Stochastic Control Barrier Functions with Bayesian Inference for Unknown Stochastic Differential Equations

Evaluating Error Bound for Physics-Informed Neural Networks on Linear Dynamical Systems

Learning Robust Safety Controllers for Uncertain Input-Affine Polynomial Systems