Abstract:Providing safety guarantees for learning-based controllers is important for real-world applications. One approach to realizing safety for arbitrary control policies is safety filtering. If necessary, the filter modifies control inputs to ensure that the trajectories of a closed-loop system stay within a given state constraint set for all future time, referred to as the set being positive invariant or the system being safe. Under the assumption of fully known dynamics, safety can be certified using control barrier functions (CBFs). However, the dynamics model is often either unknown or only partially known in practice. Learning-based methods have been proposed to approximate the CBF condition for unknown or uncertain systems from data; however, these techniques do not account for input constraints and, as a result, may not yield a valid CBF condition to render the safe set invariant. In this work, we study conditions that guarantee control invariance of the system under input constraints and propose an optimization problem to reduce the conservativeness of CBF-based safety filters. Building on these theoretical insights, we further develop a probabilistic learning approach that allows us to build a safety filter that guarantees safety for uncertain, input-constrained systems with high probability. We demonstrate the efficacy of our proposed approach in simulation and real-world experiments on a quadrotor and show that we can achieve safe closed-loop behavior for a learned system while satisfying state and input constraints.

Estimation of systems with statistically-constrained inputs

Input and state estimation for linear systems: A least squares estimation approach

The study of joint input and state estimation with Kalman filtering

Lmi Approach To Optimal Guaranteed Cost Control For A Class Of Linear Uncertain Discrete Systems

Adaptive Robust Control for a Class of Nonlinearly Parameterized Systems

Robust State Estimation For Systems with Uncertainties of Unknown Bound

State Estimation For Nonlinear Systems By Using Dynamic Optimization

State feedback stabilization of uncertain discrete linear impulsive systems

Input and state estimation for linear systems with a rank-deficient direct feedthrough matrix.

Robust State Estimation for Uncertain Linear Systems with Random Parametric Uncertainties

Robust State Estimation for Uncertain Linear Systems with Deterministic Input Signals

UIO-based Fault Estimation for a Class of Time-varying Systems with Event-triggered Transmissions

Bounding the Estimation Error Covariance for Nonlinear Systems

Sigma-point Kalman Filter with Nonlinear Unknown Input Estimation via Optimization and Data-driven Approach for Dynamic Systems

Adaptive Filtering for Stochastic Systems with Generalized Disturbance Inputs

Online state and unknown inputs estimation for nonlinear systems with particle filter based recursive expectation‐maximization algorithm

Robust Filtering for A Class of Nonlinear Systems Via Quadratic Boundedness

Wasserstein Distributionally Robust Control and State Estimation for Partially Observable Linear Systems

A new smooth variable structure Tobit filter for systems with censored measurements and model parameters uncertainty

Generalized Set‐theoretic Unknown Input Observer for LPV Systems with Application to State Estimation and Robust Fault Detection

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