An overflow free fixed-point eigenvalue decomposition algorithm: Case study of dimensionality reduction in hyperspectral images
Title | An overflow free fixed-point eigenvalue decomposition algorithm: Case study of dimensionality reduction in hyperspectral images |
Publication Type | Conference Paper |
Year of Publication | 2017 |
Authors | Kabi, B., Sahadevan, A. S., Pradhan, T. |
Conference Name | 2017 Conference on Design and Architectures for Signal and Image Processing (DASIP) |
Date Published | sep |
Publisher | IEEE |
ISBN Number | 978-1-5386-3534-6 |
Keywords | Affine arithmetic, Algorithm design and analysis, compositionality, Covariance matrices, decomposition, eigenvalue decomposition, Eigenvalues and eigenfunctions, Estimation, fixed-point arithmetic, formal methods, Hyperspectral imaging, integer bit-width allocation, interval arithmetic, Jacobian matrices, Metrics, overflow, pubcrawl, range analysis, satisfiability-modulo-theory |
Abstract | We consider the problem of enabling robust range estimation of eigenvalue decomposition (EVD) algorithm for a reliable fixed-point design. The simplicity of fixed-point circuitry has always been so tempting to implement EVD algorithms in fixed-point arithmetic. Working towards an effective fixed-point design, integer bit-width allocation is a significant step which has a crucial impact on accuracy and hardware efficiency. This paper investigates the shortcomings of the existing range estimation methods while deriving bounds for the variables of the EVD algorithm. In light of the circumstances, we introduce a range estimation approach based on vector and matrix norm properties together with a scaling procedure that maintains all the assets of an analytical method. The method could derive robust and tight bounds for the variables of EVD algorithm. The bounds derived using the proposed approach remain same for any input matrix and are also independent of the number of iterations or size of the problem. Some benchmark hyperspectral data sets have been used to evaluate the efficiency of the proposed technique. It was found that by the proposed range estimation approach, all the variables generated during the computation of Jacobi EVD is bounded within +-1. |
URL | http://ieeexplore.ieee.org/document/8122131/?reload=true |
DOI | 10.1109/DASIP.2017.8122131 |
Citation Key | kabi_overflow_2017 |
- formal methods
- satisfiability-modulo-theory
- range analysis
- pubcrawl
- overflow
- Metrics
- Jacobian matrices
- interval arithmetic
- integer bit-width allocation
- Hyperspectral imaging
- Affine arithmetic
- fixed-point arithmetic
- estimation
- Eigenvalues and eigenfunctions
- eigenvalue decomposition
- decomposition
- Covariance matrices
- Compositionality
- Algorithm design and analysis