|
Abstract
|
|
|---|---|
| The techniques based on extensions of interval computations allow fast and accurate analysis of the behavior of complex systems. Some of the most recent works in this area have presented procedures to evaluate systems with smooth non-linearities. We take this approach a step further by introducing a methodology that combines Multi-Element Generalized Polynomial Chaos (ME-gPC) and Statistical Modified Affine Arithmetic (MAA). This methodology allows modeling systems with highly non-linear operators and/or control-flow structures. It has been implemented in our modular and automated analysis framework, HOPLITE, so that it can be used to estimate the dynamic range, quantization noise and sensitivity of systems containing the aforementioned control-flow blocks. With this approach we have obtained in case studies with non-linear operators a deviation of only 0.04% with respect to the simulation-based reference values, which proves the accuracy of our approach. | |
|
International
|
Si |
|
Congress
|
7th International Conference on Computational Methods, ICCM?16 |
|
|
960 |
|
Place
|
Berkeley (Estados Unidos) |
|
Reviewers
|
Si |
|
ISBN/ISSN
|
2374-3948 |
|
|
|
|
Start Date
|
01/08/2016 |
|
End Date
|
04/08/2016 |
|
From page
|
1333 |
|
To page
|
1342 |
|
|
Proceedings of the 7th International Conference on Computational Methods, ICCM?16 |