|
Author:Hoang-Dung TranKeyphrasesAcademic, autonomous systems, benchmark4, differential-algebraic equations, finite difference method, formation control, hybrid automata, large-scale systems, linear systems, nonlinear differential algebraic equations, Nonlinear ordinary differential equations, Order reduction, partial differential equations, reachability, reachability analysis2, SpaceEx, verification. |
|
|