|
Descripción
|
|
|---|---|
| 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. | |
|
Internacional
|
Si |
|
Nombre congreso
|
7th International Conference on Computational Methods, ICCM?16 |
|
Tipo de participación
|
960 |
|
Lugar del congreso
|
Berkeley (Estados Unidos) |
|
Revisores
|
Si |
|
ISBN o ISSN
|
2374-3948 |
|
DOI
|
|
|
Fecha inicio congreso
|
01/08/2016 |
|
Fecha fin congreso
|
04/08/2016 |
|
Desde la página
|
1333 |
|
Hasta la página
|
1342 |
|
Título de las actas
|
Proceedings of the 7th International Conference on Computational Methods, ICCM?16 |