Safety verification of Neural-Network-based controllers: a set invariance approach

Louis Jouret, Adnane Saoud, Sorin Olaru

This paper presents a novel approach to ensure the safety of continuous-time linear dynamical systems controlled by a neural network (NN) based state-feedback. Our method capitaliz…