Vladislav Nenchev

Preview-aware safety verification of neural tracking controllers for dynamical systems

Neural controllers are increasingly used in safety-critical control systems. However, certifying their behavior remains difficult when reference tracking, disturbance rejection, and hard state and input constraints must be handled simultaneously. This paper presents a formal verification approach for neural tracking co...