Author:Hoang-Dung Tran

Keyphrases

Academic, autonomous systems, benchmark², formation control, hybrid automata, large-scale systems, linear systems, nonlinear differential algebraic equations, Nonlinear ordinary differential equations, Order reduction, reachability, SpaceEx, verification.