Towards abstract analysis techniques for range based system simulations

Abstract

In recent times, range based modeling and simulation techniques have emerged for systems with parameter tolerances and deviations. They are used to perform a semisymbolic 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.

Semi-symbolic analysis of mixed-signal systems including discontinuities

“…Fast Fourier Transformation (FFT) of the range-based modulator output was calculated at N = 8192 points with the sampling rate T s = 0.125us. For this purpose the extended version of FFT [13] supporting range-based signals is used. The modulator was simulated for 8192 * 0.125us = 1024us and simulation run including FFT calculation took 110s.…”