Motivation. In most Cyber-Physical Systems (CPS) applications, their analysis and design often require/assume the availability of mathematical models of the considered processes. Moreover, due to increasingly interconnected and integrated dynamics of such nonlinear, uncertain or hybrid systems, abstraction approaches have been developed to approximate the original complex dynamics with simpler dynamics [1]}. However, the precise model of the complex dynamics is often unknown, hence it is a challenging and interesting problem to determine ways to find abstractions and to analyze systems from only noisy sampled data.
