Improved Interval-Based Characterization of Fixed-Point LTI Systems With Feedback Loops
Improved Interval-Based Characterization of Fixed-Point LTI Systems With Feedback Loops
复制标题
改进的带反馈环路的定点 LTI 系统的基于间隔的表征
DOI：
10.1109/tcad.2007.896306
复制
发表时间：
2007
影响因子：
2.9
通讯作者：
O. Nieto
中科院分区：
文献类型：
--
作者：
Juan A. López;C. Carreras;O. Nieto
传统的定点表征方法是基于长时间的模拟或加性噪声模型，这些模型在合理的时间内没有显示量化操作的非线性行为。在本文中，提出了一种新的基于区间的方法，提供更紧密和更快的结果比现有的方法。它是基于仿射算术（AA）的量化操作的非线性适应。与其他已发表的基于区间的方法相比，该方法得到的结果，并详细讨论了区间过大的问题。模拟结果表明：1）传播技术不太适合表征具有反馈环的量化线性系统：2）AA在这类系统中提供了过大的界限;以及3）所提出的自适应不提供如传统的基于间隔的计算中的保证边界，但是它提供了对定点信号的范围的时间演变的更严格的估计以及比现有间隔更好的运行时间。基于特征化技术。
Traditional approaches for fixed-point characterization are based on long simulations or additive noise models that do not show the nonlinear behavior of the quantization operations in reasonable time. In this paper, a novel interval-based approach that provides both tighter and faster results than the existing approaches is presented. It is based on a nonlinear adaptation of the quantization operations of affine arithmetic (AA). The results obtained with this method are compared to other published interval-based approaches, and the problem of interval oversizing is discussed in detail. Simulations show that: 1) the propagation techniques are not well suited to characterize the quantized linear systems with feedback loops; 2) the AA provides oversized bounds in this type of systems; and 3) the proposed adaptation does not provide guaranteed bounds as in the traditional interval-based computations, but it provides tighter estimates of the evolution in time of the ranges of the fixed-point signals and better runtime than the existing interval-based characterization techniques.