System-level Safety Guard: Safe Tracking Control through Uncertain Neural Network Dynamics Models

Xiao Li, Yutong Li, Anouck Girard +1

The Neural Network (NN), as a black-box function approximator, has been considered in many control and robotics applications. However, difficulties in verifying the overall system…