Solving the power allocation problem using methods with result verification

Abstract

Characterising how different types of uncertainty in the multiple-input multiple-output (MIMO) systems influence their performance is an important research topic. In this paper, we focus on the task of power allocation in fixed rate MIMO systems with singular value decomposition based channel separation. The interval analysis is used to develop a verified solution to the problem taking bounded uncertainty in parameters and rounding errors into account. We demonstrate that power allocation improves the bit error rate (BER) using an exemplary 4 × 4 MIMO channel for two distinct choices of the channel matrix and compute an upper bound on the BER under realistic uncertainty conditions. Besides, we show that a combined analytical/numerical procedure produces better results than the purely numerical one and identify parameters the mathematical model is most sensitive to.