Stabilization of linear discrete control system with interval coefficients (Q1589843)

The authors consider a discrete time system \[ x^{t+ 1}= Ax^t+ Bu^t, \] where the elements of the matrices \(A\), \(B\) are affected by uncertainty \[ |a_{ij}- a^0_{ij}|\leq \Delta a_{ij},\quad|b_{ik}- b^0_{ik}|\leq \Delta b_{ik}. \] In order to stabilize the system for each choice of the coefficients \(a_{ij}\) and \(b_{ik}\) in the given intervals, it is required to find functions \(u^t(x)\) \((t= 0,1,\dots)\) such that the sequence \(x^0, x^1,\dots\) generated by the recursive equation \[ x^{t+ 1}= Ax^t+ Bu^t(x^\tau),\quad t= \tau,\tau+1,\dots, \tau+ p-1,\;\tau= 0,p,2p,\dots \] converges to the origin, for each initial condition \(x^0\) with \(\|x^0\|< R\), and some given \(R\). Assuming that the pair \(A^0\), \(B^0\) is controllable, the authors compute linear functions \(u^t(x)\) and prove that these solve the stabilization problem if an additional condition holds.