Author:Hoang-Dung Tran

Publications
EasyChair Preprint no. 812

Keyphrases

Academic, Affine systems, Artificial Intelligence, autonomous systems, benchmark4, closed-loop system, control systems, differential-algebraic equations, finite difference method, formation control, hybrid automata, hybrid systems, Krylov subspace, large-scale systems, linear systems2, Neural Network Control Systems, neural network controller, neural networks, nonlinear differential algebraic equations, Nonlinear ordinary differential equations, Order reduction, partial differential equations, reachability2, reachability analysis2, SpaceEx, verification2, verification benchmark.