Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2
CAV, pp. 531-538, 2016.
C2E2 is a bounded reachability analysis tool for nonlinear dynamical systems and hybrid automaton models. Previously it required users to annotate each system of differential equations of the hybrid automaton with discrepancy functions, and since these annotations are difficult to get for general nonlinear differential equations, the tool...More
PPT (Upload PPT)