Author:Hoang-Dung Tran

Publications
EasyChair Preprint no. 812

Keyphrases

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