Report on reachability analysis of nonlinear systems and compositional verification

We present new results on reachability analysis of nonlinear systems as described in task 3.1. Reachability analysis is a key technology for formal verification of cyber-physical systems. Reachability analysis of nonlinear systems is considered with a special focus on scalability and on reducing the overapproximation of the obtained results. The computational aspect is a further key technology to scale the methods up towards industrial applications.