Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2

CAV, pp. 531-538, 2016.

Cited by: 49|Bibtex|Views10|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments