continuous systems, formal methods, hybrid systems, nonlinear dynamics, reachability analysis, verification.