-
Synthesis of Neural Barrier Certificates
The dataset used in the paper is a set of polynomial and non-polynomial dynamical models, including the Darboux model, the exponential model, the obstacle avoidance problem, the... -
Neural Identification for Control
The proposed method for learning control for an unknown nonlinear dynamical system by formulating a system identification task. -
Stability Verification in Stochastic Control Systems via Neural Network
The dataset used in the paper is a discrete-time stochastic dynamical system with two novel aspects: (a) using ranking supermartingales (RSMs) to certify almost-sure asymptotic...