Towards abstract analysis techniques for range based system simulations

In recent times, range based modeling and simulation techniques have emerged for systems with parameter tolerances and deviations. They are used to perform a semi-symbolic simulation and to analyze the examined systems for their time domain behavior. The system quantities in such simulations are represented as range based signals using the concept of Affine Arithmetic. Transforming the range based signals from a time domain to a frequency domain representation significantly increases the analysis capabilities and provides a broader insight into the system´s behavior. Such a transformation enriches the expressiveness of semi-symbolic system quantities and simultaneously allows frequency based analysis techniques to be applicable. We use the Discrete Fourier Transform to compute a range based frequency representation and finally discuss the method and interpretation of the frequency spectrum on two examples_.