Author:Hoang-Dung Tran

Publications
EasyChair Preprint no. 812

Keyphrases

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