1: \begin{abstract}

2: %Reachability analysis is of great importance for testing and verification of control systems, as well as formal methods-based control synthesis in which reachability enables a discrete-state abstraction of a system with continuous dynamics. 

3: A shortcoming of existing reachability approaches for nonlinear

4: systems is the poor scalability with the number of continuous state

5: variables. To mitigate this problem

6: we present a simulation-based approach where we first sample a number

7: of trajectories of the system and next establish bounds on the

8: convergence or divergence between the samples and neighboring

9: trajectories. We compute these bounds using contraction theory and

10: reduce the conservatism by partitioning the state vector into several

11: components and analyzing contraction properties separately in each

12: direction. Among other benefits this allows us to analyze the effect of constant but uncertain

13: parameters by treating them as state variables and partitioning them into

14: a separate direction.  We next present a numerical procedure to search for weighted norms that yield a prescribed contraction rate, which can be incorporated in the reachability algorithm to adjust the weights to minimize the growth of the reachable set.

15: \end{abstract}

16: