Robust Estimator-Based Safety Verification: A Vector Norm Approach

Binghan He, Gray C. Thomas, Luis Sentis

In this paper, we consider the problem of verifying safety constraint satisfaction for single-input single-output systems with uncertain transfer function coefficients. We propose…