Report on pre-computation of reachable sets and advances in reachability analysis

This report presents the results of tasks 3.1 and 3.2. First, it described advances in the reachability analysis of nonlinear systems. Seond, it details how to generate and select partial reference trajectories and how to pre-compute reachable sets for them using the latest advances in reachability analysis.